Verification of multi-agent systems with public actions against strategy logic.
Francesco BelardinelliAlessio LomuscioAniello MuranoSasha RubinPublished in: Artif. Intell. (2020)
Keyphrases
- multi agent systems
- bounded model checking
- asynchronous circuits
- coalition logic
- model checking
- epistemic logic
- computational logic
- reasoning about actions
- normative systems
- agent systems
- intelligent agents
- cognitive agents
- cooperative
- model checker
- face verification
- single agent
- multi valued
- classical logic
- agent architecture
- modal logic
- verification method
- game theory
- autonomous agents
- coalition formation
- predicate logic
- temporal logic
- search strategy
- linear time temporal logic
- multi agent