Synthesis and Verification of Uniform Strategies for Multi-agent Systems.
Jerzy PileckiMarek A. BednarczykWojciech JamrogaPublished in: CLIMA (2014)
Keyphrases
- multi agent systems
- multi agent
- agent architecture
- databases
- intelligent agents
- distributed search
- autonomous agents
- search strategies
- cooperative
- game theory
- agent oriented
- agent systems
- bounded model checking
- computational logic
- formal verification
- optimal strategy
- online auctions
- model checking
- petri net
- artificial intelligence