Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares.

Youpyo Hong Peter A. Beerel

Published in: DATE (1999)

Keyphrases

finite state machines
reachability analysis
model checking
state transition
timed automata
finite state automata
markov decision processes
database
databases
high level
reinforcement learning
hidden markov models
spatial information