Jump to Content

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