Towards Formal Verification of Neuro-symbolic Multi-agent Systems.
Panagiotis KouvarosPublished in: IJCAI (2023)
Keyphrases
- formal verification
- multi agent systems
- model checking
- bounded model checking
- automated verification
- symbolic model checking
- model checker
- multi agent
- symbolic representation
- intelligent agents
- autonomous agents
- coalition formation
- agent systems
- agent technology
- agent architecture
- game theory
- cooperative
- program slicing
- neural network
- formal specification
- distributed problem solving
- software engineering
- normative systems
- functional verification
- temporal logic
- artificial neural networks