Liveness in L/U-Parametric Timed Automata.

Étienne André Didier Lime

Published in: ACSD (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
parametric models
three dimensional
special case
knowledge representation
random variables
real time systems
semi parametric