Proving Abstractions of Dynamical Systems Using Numerical Simulations Download pdf Tags: Presentations Simulation abstraction security HotSoS 2014 Academia Presentation Slides License: CC-2.5 Submitted by Sayan Mitra on Tue, 06/03/2014 - 16:35