Keyphrases
- decision problems
- timed automata
- model checking
- reachability analysis
- theorem prover
- influence diagrams
- decision model
- optimal strategy
- computational complexity
- optimal policy
- utility function
- decision processes
- real time systems
- multiple criteria
- theorem proving
- pspace complete
- sequential decision making
- np hard
- partially observable
- bayesian decision problems
- multicriteria decision
- first order logic
- temporal logic
- np complete
- state space
- natural language
- reinforcement learning