813 search results - page 46 / 163 » Correctness Properties for Multiagent Systems |
119
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
132
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
148
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
108
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
108
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...