Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems.

Andreas Rauh, Julia Kersten, Harald Aschemann

Browse the full MMAR paper archive.