A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart | First International Workshop on Model Checking and Arti cial Intelligence, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) Self-citation (Lomuscio) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart | First International Workshop on Model Checking and Arti cial Intelligence, 2002.
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) Self-citation (Lomuscio Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of MoChArt, Lyon, France, August 2002.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio Self-citation (Lomuscio Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot, `Towards model checking interpreted systems', in Proceedings of MoChArt, Lyon, France, (August 2002).
A tableux system for Deontic Interpreted Systems - Governatori, Lomuscio, Sergot Self-citation (Lomuscio Sergot) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart --- First International Workshop on Model Checking and Artificial Intelligence, 2002.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (2004) Self-citation (Lomuscio Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot, `Towards model checking interpreted systems', in Proceedings of MoChArt, Lyon, France, (August 2002).
Verification In Multi-Agent Systems - Raimondi Self-citation (Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of MoChArt, Lyon, France, August 2002.
A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (3 citations) Self-citation (Lomuscio Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. Submitted, 2002.
Automatic Verification of Deontic Properties of Multi-Agent.. - Raimondi, Lomuscio Self-citation (Lomuscio Raimondi) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of MoChArt, Lyon, France, August 2002.
A tableux system for Deontic Interpreted Systems - Guido Governatori Alessio Self-citation (Lomuscio Sergot) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart --- First International Workshop on Model Checking and Artificial Intelligence, 2002.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) Self-citation (Lomuscio) (Correct)
....properties expressible in CTLK on a specification given directly in terms of interpreted systems. Finally we should like to stress that this paper belongs to a line of research on model checking time and knowledge encompassing theoretical investigations [13, 11, 12] as well as experimental work [18, 20]. A comparison of the practical results achievable with the various techniques seems to be a fruitful avenue for further work. Ultimately, verification of multi agent systems will have to involve checking not only informational properties as the ones treated here but also motivational ones such ....
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart --- First International Workshop on Model Checking and Artificial Intelligence, 2002.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, Lomuscio (2003) Self-citation (Lomuscio) (Correct)
....expressible in CTLK on a specification given directly in terms of interpreted systems. Finally we should like to to stress that this paper belongs to a line of research on model checking time and knowledge encompassing theoretical investigations [21, 11, 12] as well as experimental work [17, 27]. A comparison of the practical results achievable with the various techniques seems to be a fruitful avenue for further work. Ultimately, verification the multi agent system will have to involve checking not only informational properties as the ones treated here but also motivational such as ....
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of Mochart --- First International Workshop on Model Checking and Artificial Intelligence, 2002.
Model Checking Epistemic Properties of Interpreted Systems - Raimondi (2003) (Correct)
No context found.
A. Lomuscio, F. Raimondi, and M. Sergot. Towards model checking interpreted systems. In Proceedings of MoChArt, Lyon, France, August 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC