Login / Signup
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.
Lei Bu
Yang Yang
Xuandong Li
Published in:
Haifa Verification Conference (2011)
Keyphrases
</>
reachability analysis
hybrid automata
depth first search