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