158 search results - page 4 / 32 » Model Checking for PRS-Like Agents |
103
Voted
SOMET
2007
15 years 5 months ago
2007
114
Voted
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
92
Voted
MST
2008
15 years 4 months ago
2008
171
click to vote
ATAL
2004
Springer
15 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 ...
122
click to vote
ATAL
2003
Springer
15 years 9 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...