M. Wooldridge, M. Fisher, M. P. Huget, and S. Parsons. Model Checking Multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
No context found.
M. Wooldridge, M. Fisher, M. P. Huget, and S. Parsons. Model Checking Multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
Verifiable Agent Dialogues - Walton (2005) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. P. Huget, S. Parsons, Model Checking Multiagent systems with MABLE, in: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, 2002.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Wooldridge M, Fisher M., M.P. Huget, and S. Parsons (2002) Model checking multi-agent systems with MABLE. Proceedings of the First International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS'02). 198 Informatica 29 (2005) 189--197 M. Bourahla et al.
The Semantics of MALLET--An Agent - Teamwork Encoding Language (Correct)
No context found.
Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of AAMAS-2002. (2002) 952--959
The Semantics of MALLET--An Agent - Teamwork Encoding Language (Correct)
No context found.
Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of AAMAS-2002. (2002)
MALLET--A Multi-Agent Logic Language for - Encoding Teamwork Xiaocong (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons, "Model checking multiagent systems with MABLE," in Proceedings of AAMAS-2002.
A temporal approach to the specification and.. - Giordano.. (2005) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget and S. Parsons. Model Checking Multi-Agent Systems with MABLE. In AAMAS'02, pp. 952--959, Bologna, Italy, 2002.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Wooldridge M, Fisher M., M.P. Huget, and S. Parsons (2002) Model checking multi-agent systems with MABLE. Proceedings of the First International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS'02). 198 Informatica 29 (2005) 189--197 M. Bourahla et al.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
No context found.
M.-P. Huget, M. Wooldridge, M. Fisher and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), pages 952--959. ACM Press, July 2002.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) (Correct)
No context found.
Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, and Simon Parsons. Model checking multi-agent systems with MABLE. In Maria Gini, Toru Ishida, Cristiano Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952--959. ACM Press, July 2002. 16
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons, `Model checking multi-agent systems with MABLE', in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), eds., M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, pp. 952--959. ACM Press, (July 2002).
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), pages 952--959. ACM Press, July 2002.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons, `Model checking multi-agent systems with MABLE', in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), eds., M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, pp. 952--959. ACM Press, (July 2002).
Symbolic Model Checking of Multi-Agent Systems Using OBDDs - Raimondi, Lomuscio (Correct)
No context found.
Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, and Simon Parsons. Model checking multi-agent systems with MABLE. In Maria Gini, Toru Ishida, Cristiano Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952-959. ACM Press, July 2002. 6
Unbounded Model Checking for Alternating-Time Temporal Logic - Kacprzak, Penczek (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
Verification In Multi-Agent Systems - Raimondi (Correct)
No context found.
M. Wooldridge, M. Fisher, Marc-Philippe Huget, and Simon Parsons. Model checking multi-agent systems with MABLE. In Maria Gini, Toru Ishida, Cristiano Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952-959. ACM Press, July 2002.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), pages 952--959. ACM Press, July 2002.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
No context found.
M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with mable. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (3 citations) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952--959. ACM Press, July 2002. 15
Towards Model Checking Interpreted Systems - Raimondi, Lomuscio, Sergot (2002) (1 citation) (Correct)
No context found.
M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952--959. ACM Press, July 2002.
Automatic Verification of Deontic Properties of Multi-Agent.. - Raimondi, Lomuscio (Correct)
No context found.
M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In M. Gini, T. Ishida, C. Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952--959. ACM Press, July 2002.
First 50 documents
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