Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra

Chao Wang
Zijiang Yang
Aarti Gupta
CAV(2007), pp. 352-365

Abstract

Research Areas