February 16 @ 3:30 pm - 4:30 pm Theoretical Foundation of Learning-based Planning for Linear Temporal Logic Objectives 1500 EECS Building 1301 Beal Avenue, Ann Arbor