Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Marco AlbertiFederico ChesaniDavide DaolioMarco GavanelliEvelina LammaPaola MelloPaolo TorroniPublished in: Scalable Comput. Pract. Exp. (2007)
Keyphrases
- agent interactions
- protocol specification
- formal verification
- intelligent agents
- communication protocols
- multi agent systems
- cryptographic protocols
- formal methods
- asynchronous circuits
- model checking
- formal specification
- multi agent
- software agents
- knowledge representation
- interaction model
- decision model
- temporal logic
- concurrent systems
- high level