A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems.
Paolo FelliAlessandro GianolaMarco MontaliPublished in: PRIMA (2020)
Keyphrases
- multi agent systems
- implementation details
- multi agent
- cooperative
- agent architecture
- efficient implementation
- implementation issues
- information retrieval
- website
- complex systems
- multi agent reinforcement learning
- game theory
- decision problems
- autonomous agents
- real time
- logic programs
- machine learning
- neural network