@inproceedings{6e795ed31869438da74475ba14cfb308,
title = "Verifying agent conformance with protocols specified in a temporal action logic",
abstract = "The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of an automata based approach, and that the conformance of a set of agents with a protocol guarantees that their interaction cannot produce deadlock situations and it only gives rise to runs of the protocol.",
author = "Laura Giordano and Alberto Martelli",
year = "2007",
doi = "10.1007/978-3-540-74782-6_14",
language = "English",
isbn = "9783540747819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "145--156",
booktitle = "AI IA 2007",
address = "Germany",
note = "10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007 ; Conference date: 10-09-2007 Through 13-09-2007",
}