Controlling Actions and Time in Parametric Timed Automata.
Étienne AndréMichal KnapikWojciech PenczekLaure PetrucciPublished in: ACSD (2016)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- situation calculus
- decision theoretic
- first order logic
- website
- parametric models
- artificial intelligence
- plan recognition
- goal directed
- real time systems
- knowledge representation
- probabilistic model
- markov decision processes
- database
- mobile robot
- state transitions
- information retrieval
- machine learning