Decidable Verification of Multi-agent Systems with Bounded Private Actions.
Francesco BelardinelliAlessio LomuscioAniello MuranoSasha RubinPublished in: AAMAS (2018)
Keyphrases
- multi agent systems
- situation calculus
- cognitive agents
- agent systems
- cooperative
- multi agent
- action theories
- computation tree logic
- bounded model checking
- privacy preserving
- model checking
- agent architecture
- distributed problem solving
- face verification
- game theory
- action selection
- signature verification
- formal verification
- private data
- first order logic
- intelligent agents
- linear time temporal logic
- agent platform
- transitive closure
- multiple agents
- coalition formation
- agent technology
- trust model