Raimondi F. and A. Lomuscio (2003) A tool for specification and verification of epistemic and temporal properties of multi-agent system, Electronic Notes in Theoretical Computer Science. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) Self-citation (Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multi-agent system. Electronic Lecture Notes in Theoretical Computer Science, 2003. To appear.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) Self-citation (Raimondi Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes of Theoretical Computer Science, 2003. To Appear.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) Self-citation (Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multi-agent system. Electronic Lecture Notes in Theoretical Computer Science, 2003. To appear.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) Self-citation (Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes in Theoretical Computer Science, 2003. To appear.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) Self-citation (Raimondi Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes of Theoretical Computer Science, 2003. To Appear.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) Self-citation (Raimondi Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes of Theoretical Computer Science, 2003. To Appear.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) Self-citation (Lomuscio) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes in Theoretical Computer Science, 2003. To appear.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Raimondi F. and A. Lomuscio (2003) A tool for specification and verification of epistemic and temporal properties of multi-agent system, Electronic Notes in Theoretical Computer Science.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Raimondi F. and A. Lomuscio (2003) A tool for specification and verification of epistemic and temporal properties of multi-agent system, Electronic Notes in Theoretical Computer Science.
Unbounded Model Checking for Alternating-Time Temporal Logic - Kacprzak, Penczek (2004) (Correct)
No context found.
F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic and temporal properties of multiagent system. Electronic Lecture Notes in Theoretical Computer Science, 2003. To appear.
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