Login / Signup

Eventual Timed Automata.

Deepak D'SouzaM. Raj Mohan
Published in: FSTTCS (2005)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • first order logic
  • real time systems
  • theorem proving
  • temporal logic
  • artificial intelligence
  • supervised learning