Gigante, N.; Micheli, A.; Montanari, A.; Scala, E. Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020, 34, 9859-9866.