Login / Signup

Minimizable Timed Automata.

Jan SpringintveldFrits W. Vaandrager
Published in: FTRTFT (1996)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • real time systems
  • first order logic
  • knowledge base
  • real time
  • machine learning
  • temporal logic