21 search results - page 1 / 5 » Model Checking Abilities of Agents: A Closer Look |
MST
2008
13 years 5 months ago
2008
AOSD
2012
ACM
12 years 1 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
DALT
2008
Springer
13 years 7 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...