Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.

Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic

Browse the full CAV paper archive.