Determinisability of one-clock timed automata.

Lorenzo Clemente Slawomir Lasota Radoslaw Piórkowski

Published in: CoRR (2020)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
high speed
power consumption
duty cycle
real time systems
theorem proving
neural network
machine learning
information systems
natural language