Quantified CTL with imperfect information.
Raphaël BerthonBastien MaubertAniello MuranoPublished in: CoRR (2016)
Keyphrases
- imperfect information
- alternating time temporal logic
- model checking
- game theoretic
- temporal logic
- game playing
- game tree search
- perfect information
- imperfect information games
- computation tree logic
- game theory
- nash equilibrium
- game tree
- learning experience
- card game
- bounded model checking
- finite automata
- linear programming
- linear temporal logic
- multi agent