Feb 14 3:30 pm - 4:30 pm Set-theoretic Methods for Verification of Closed-loop Systems, Motion Planning, and Energy-aware Autonomy