SMT-based Safety Checking of Parameterized Multi-Agent Systems.
Paolo FelliAlessandro GianolaMarco MontaliPublished in: AAAI (2021)
Keyphrases
- multi agent systems
- cooperative
- autonomous agents
- multi agent
- safety critical
- agent architecture
- agent systems
- statistical machine translation
- game theory
- intelligent agents
- coalition formation
- agent oriented
- software agents
- multi agent environment
- computational logic
- agent platform
- consistency checking
- trust model
- single agent
- data sets
- multiagent systems
- complex systems
- cognitive agents
- contract net protocol
- logic programming
- machine learning