MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.
Davide AnconaDaniela BriolaAngelo FerrandoViviana MascardiPublished in: WOA (2016)
Keyphrases
- formal methods
- agent interactions
- multi agent systems
- multi agent
- cooperative
- model checking
- intelligent agents
- protocol specification
- agent societies
- software agents
- multiagent systems
- interaction protocols
- distributed systems
- autonomous agents
- artificial intelligence
- agent architecture
- agent technology
- peer to peer
- multiple agents
- security protocols
- cryptographic protocols
- communication protocols
- machine learning
- data mining
- small number
- complex domains
- probability distribution
- cognitive agents
- special case