Determinisability of One-Clock Timed Automata.

Lorenzo Clemente Slawomir Lasota Radoslaw Piórkowski

Published in: CONCUR (2020)

Keyphrases

timed automata
model checking
reachability analysis
high speed
theorem prover
power consumption
theorem proving
real time systems
duty cycle
first order logic
temporal logic
computer vision
case study
special case