Decision problems for lower/upper bound parametric timed automata.
Laura BozzelliSalvatore La TorrePublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- decision problems
- upper bound
- timed automata
- lower bound
- model checking
- influence diagrams
- reachability analysis
- np hard
- utility function
- multiple criteria
- decision model
- decision processes
- theorem prover
- worst case
- computational complexity
- optimal policy
- optimal strategy
- first order logic
- real time systems
- bandit problems
- theorem proving
- temporal logic
- bayesian decision problems
- sequential decision making
- decision makers
- low cost
- objective function
- data mining