MIT; Brown University; University of Pennsylvania
Learning from Demonstration;Dynamical Systems;Formal Methods;Linear Temporal Logic;Certifiable Imitation Learning
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations