Practical verification of multi-agent systems against Slk specifications.
Petr CermákAlessio LomuscioFabio MogaveroAniello MuranoPublished in: Inf. Comput. (2018)
Keyphrases
- multi agent systems
- bounded model checking
- concurrent systems
- formal verification
- real world
- model checking
- game theory
- automated verification
- practical application
- intelligent agents
- asynchronous circuits
- autonomous agents
- software agents
- resource allocation
- agent architecture
- coalition formation
- formal specification
- formal methods
- signature verification
- cooperative
- model checker
- multi agent
- website
- agent platform
- real time