Decision Problems for the Verification of Real-Time Software.
Michael EmmiRupak MajumdarPublished in: HSCC (2006)
Keyphrases
- decision problems
- real time
- influence diagrams
- real time systems
- optimal policy
- utility function
- computational complexity
- np hard
- optimal strategy
- model checking
- decision model
- partially observable
- bayesian decision problems
- sequential decision making
- bandit problems
- software development
- software systems
- bayesian networks
- multiple criteria
- graphical models
- decision analysis
- hardware designs
- query processing
- multicriteria decision