Alberto Sangiovanni-Vincentelli

Latest

• Reachability computation for hybrid systems with Ariadne