Decision Problems for Lower/Upper Bound Parametric Timed Automata.
Laura BozzelliSalvatore La TorrePublished in: ICALP (2007)
Keyphrases
- decision problems
- upper bound
- timed automata
- model checking
- lower bound
- influence diagrams
- reachability analysis
- np hard
- computational complexity
- theorem prover
- optimal policy
- utility function
- theorem proving
- decision model
- worst case
- optimal strategy
- decision processes
- multiple criteria
- first order logic
- partially observable
- real time systems
- sequential decision making
- real time
- bayesian decision problems
- temporal logic
- multicriteria decision
- decision analysis
- probabilistic inference
- bandit problems