[IEEE 2007 American Control Conference - New York, NY, USA (2007.07.9-2007.07.13)] 2007 American Control Conference - Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement
Jiang, ShengbingYear:
2007
Language:
english
DOI:
10.1109/acc.2007.4282139
File:
PDF, 184 KB
english, 2007