Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.

Stefan Ratschan, Jan-Georg Smaus

Browse the full TAP paper archive.