Login / Signup

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.

Sanjit A. SeshiaRandal E. Bryant
Published in: CAV (2003)
Keyphrases
  • knowledge representation
  • search methods
  • timed automata
  • artificial intelligence
  • reinforcement learning
  • data structure
  • model checking
  • markov decision processes