Reachability and liveness in parametric timed automata.

Étienne André Didier Lime Olivier H. Roux

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
state space
transitive closure
parametric models
real time systems
computer vision
image processing
database systems