Login / Signup
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.
Sanjit A. Seshia
Randal E. Bryant
Published in:
CAV (2003)
Keyphrases
</>
knowledge representation
search methods
timed automata
artificial intelligence
reinforcement learning
data structure
model checking
markov decision processes