Committee Memberships

Sep, 2015

Co-organizer

Shonan Meeting "Validated Numerics Meets Reachability Analysis for CPS Design"