| Authors |
|
| Publication date |
2005
|
| Book title |
AAMAS 05 : the fourth International Joint Conference on Autonomous Agents and Multi Agent Systems
|
| Book subtitle |
Utrecht University, the Netherlands, July 25-29, 2005
|
| ISBN (electronic) |
|
| Pages (from-to) |
1127-1128
|
| Publisher |
New York: ACM Press
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised form of model checking.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1145/1082473.1082656
|
|
Permalink to this page
|
