Login / Signup
Generation of safe operation sequences using iterative refinements and abstractions of timed automata.
Thomas Cochard
David Gouyon
Jean-François Pétin
Published in:
ETFA (2016)
Keyphrases
</>
timed automata
safe operation
model checking
theorem prover
reachability analysis
monitoring system
theorem proving
real time systems
knowledge base
distributed systems
temporal logic