Specification and Verification of Multi-Agent Systems.
Wojciech JamrogaWojciech PenczekPublished in: ESSLLI (2011)
Keyphrases
- multi agent systems
- formal verification
- asynchronous circuits
- protocol specification
- formal methods
- model checking
- bounded model checking
- agent architecture
- agent technology
- specification language
- multi agent
- game theory
- agent oriented
- agent systems
- coalition formation
- face verification
- formal specification
- autonomous agents
- intelligent agents
- cooperative
- high level
- software agents
- distributed problem solving
- verification method
- colored petri nets
- databases
- database
- case study
- communication protocols
- web services
- provably correct
- computational logic
- artificial intelligence