Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement.

Shengbing Jiang

Browse the full ACC paper archive.