@inproceedings{7591a9e604bb464fba650fc84207ebcd,
title = "Dynamic model checking for multi-agent systems",
abstract = "This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. The most popular approaches to this in practise have been to model interaction protocols and to model the deontic constraints imposed by individual agents. Both of these approaches are appropriate and necessary but their combination creates the practical problem of ensuring that interaction protocols are meshed with agents that possess compatible deontic constraints. This is essentially an issue of property checking dynamically at run-time. We show how model checking can be applied to this problem.",
author = "Nardine Osman and David Robertson and Christopher Walton",
year = "2006",
doi = "10.1007/11961536_4",
language = "English",
isbn = "9783540689591",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "43--60",
editor = "Matteo Baldoni and Ulle Endriss",
booktitle = "Declarative Agent Languages and Technologies IV",
address = "United Kingdom",
note = "4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006 ; Conference date: 08-05-2006 Through 08-05-2006",
}