Tollund, R. G., N. S. Johansen, K. Ø. Nielsen, Álvaro Torralba, and K. G. Larsen. “Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 588-96, doi:10.1609/icaps.v34i1.31521.