813 search results - page 62 / 163 » Correctness Properties for Multiagent Systems |
116
Voted
AAAI
2006
15 years 5 months ago
2006
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
113
click to vote
IGPL
2010
15 years 2 months ago
2010
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
112
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: Nowadays, the design of so-called consistent time-stepping schemes that basically feature a physically correct time integration, is still a state-of-the-art topic in the area of ...
127
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
87
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper examines stability properties of distance-based formations. These are formations encoded by inter-agent relative distances. A negative gradient control law is propos...