Temporal Reasoning with Kinodynamic Networks. - Han Zhang 018; Neelesh Tiruviluamala; Sven Koenig; T. K. Satish Kumar (ICAPS, 2021)