A procedure for reachability analysis of rectangular automata.

Howard Wong-Toi Jörg Preußig

Published in: ACC (2000)

Keyphrases

reachability analysis
timed automata
model checking
markov decision processes
finite state
incremental algorithms
finite state machines
cellular automata
regular expressions
theorem prover
machine learning
objective function
linear programming