66 search results - page 1 / 14 » Symbolic model checking for agent interactions |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
ACMICEC
2007
ACM
13 years 8 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
IEAAIE
2011
Springer
12 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
ATAL
2004
Springer
13 years 8 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...