On the Expressiveness of Parametric Timed Automata.

Étienne André Didier Lime Olivier H. Roux

Published in: FORMATS (2016)

Keyphrases

timed automata
model checking
reachability analysis
expressive power
first order logic
theorem prover
theorem proving
real time systems
decision making
low cost
temporal logic
parametric models
computational properties
artificial intelligence
knowledge representation