Directions for Agent Model Checking

Berndt Muller, R. Bordini, L. Dennis, M. Fisher

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target development.
Original languageEnglish
Title of host publicationSpecification and Verification of Multi-agent Systems
Publication statusPublished - 1 Jan 2010


  • ai
  • multi-agent systems
  • verification


Dive into the research topics of 'Directions for Agent Model Checking'. Together they form a unique fingerprint.

Cite this