158 search results - page 4 / 32 » Model Checking for PRS-Like Agents |
SOMET
2007
14 years 10 months ago
2007
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
MST
2008
14 years 9 months ago
2008
ATAL
2004
Springer
15 years 1 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 ...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...