February 14 @ 3:30 pm - 4:30 pm Set-theoretic Methods for Verification of Closed-loop Systems, Motion Planning, and Energy-aware Autonomy 1311 EECS Building 1301 Beal Avenue, Ann Arbor