Toyota Research Institute; MIT; Lehigh University
Learning from demonstrations;temporal logic;trajectory planning;autonomous driving;real-time verification
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor