Keyphrases
- pspace complete
- np complete
- model checking
- satisfiability problem
- decision problems
- opponent modeling
- strips planning
- heuristic function
- causal graph
- temporal logic
- tree automata
- coalition logic
- machine learning
- phase transition
- heuristic search
- sufficient conditions
- state space
- np hard
- search algorithm
- decision making