Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic. Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 352-365, Springer, 2007. [doi]
Abstract is missing.