Loop reduction techniques for reachability analysis of linear hybrid automata.

Minxue Pan You Li Lei Bu Xuandong Li

Published in: Sci. China Inf. Sci. (2012)

Keyphrases

reachability analysis
hybrid automata
model checking
markov decision processes
finite state automata
state space
timed automata
real time
linear programming
incremental algorithms