Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

Stefan Schupp, Erika brahm

Browse the full TACAS paper archive.