813 search results - page 12 / 163 » Correctness Properties for Multiagent Systems |
149
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
147
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
122
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Robustness, through fault tolerance, is a property often put forward in order to advocate MAS. The question is: What is the first step to be fault tolerant? Obviously the answer i...
167
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...