Verification of Stochastic Multi-Agent Systems with Forgetful Strategies.
Francesco BelardinelliWojtek JamrogaMunyque MittelmannAniello MuranoPublished in: AAMAS (2024)
Keyphrases
- multi agent systems
- model checking
- multi agent
- information retrieval
- cooperative
- complex systems
- database
- agent architecture
- coalition formation
- distributed search
- game theory
- bounded model checking
- multi agent reinforcement learning
- monte carlo methods
- asynchronous circuits
- learning agents
- stochastic programming
- formal verification
- stochastic model
- intelligent agents
- reinforcement learning
- bayesian networks
- real time