A Flexible Framework for Verifiable Agent Programming

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.
Original languageEnglish
Title of host publicationN/A
Number of pages4
Publication statusPublished - 1 Jan 2008
Event 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008) - Portugal
Duration: 12 May 200812 May 2008


Conference 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)


  • ai
  • multi-agent systems
  • programming languages
  • model checking


Dive into the research topics of 'A Flexible Framework for Verifiable Agent Programming'. Together they form a unique fingerprint.

Cite this