Easy Yet Hard: Model Checking Strategies of Agents
English
Jamroga, Wojciech[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2009
Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX
LNCS 5405
1–12
No
Yes
International
Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX