Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information.
Francesco BelardinelliAlessio LomuscioPublished in: AAMAS (2017)
Keyphrases
- alternating time temporal logic
- model checking
- imperfect information
- temporal logic
- game theoretic
- multi agent systems
- game playing
- formal verification
- game theory
- card game
- formal specification
- computation tree logic
- e learning
- bounded model checking
- multi agent
- game tree
- worst case
- learning process
- imperfect information games