Login / Signup

On simplification of timed automata.

Maxim Gromov
Published in: EWDTS (2016)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • first order logic
  • multiresolution
  • temporal logic
  • real time systems
  • natural images