813 search results - page 2 / 163 » Correctness Properties for Multiagent Systems |
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Creating coordinated multiagent policies in environments with uncertainty is a challenging problem, which can be greatly simplified if the coordination needs are known to be limi...
SMC
2007
IEEE
13 years 11 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
ESAW
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
DALT
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...