The decision problem for linear temporal logic.
John P. BurgessYuri GurevichPublished in: Notre Dame J. Formal Log. (1985)
Keyphrases
- decision problems
- linear temporal logic
- temporal logic
- influence diagrams
- model checking
- bounded model checking
- decision model
- computational complexity
- np hard
- utility function
- decision processes
- optimal strategy
- optimal policy
- bayesian decision problems
- orders of magnitude
- partially observable
- decision makers
- expected utility theory