PA-FaSTrack: Planner-Aware Real-Time Guaranteed Safe Planning. - Atefeh Sahraeekhanghah; Mo Chen 001 (CDC, 2021)