Stefan Ratschan, Jan-Georg Smaus. Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. In Catherine Dubois, editor, Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Volume 5668 of Lecture Notes in Computer Science, pages 153-168, Springer, 2009. [doi]
Abstract is missing.