Login / Signup

Generation of safe operation sequences using iterative refinements and abstractions of timed automata.

Thomas CochardDavid GouyonJean-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