Zhang, H.; Tiruviluamala, N.; Koenig, S.; Kumar, T. K. S. Temporal Reasoning With Kinodynamic Networks. ICAPS 2021, 31, 415-425.