Decision Problems for Parametric Timed Automata.
Étienne AndréDidier LimeOlivier H. RouxPublished in: ICFEM (2016)
Keyphrases
- decision problems
- timed automata
- model checking
- reachability analysis
- influence diagrams
- theorem prover
- decision model
- utility function
- computational complexity
- theorem proving
- optimal policy
- np hard
- optimal strategy
- multiple criteria
- first order logic
- decision processes
- sequential decision making
- bayesian decision problems
- temporal logic
- search algorithm
- knowledge base
- machine learning