R. G. Tollund, N. S. Johansen, K. Ø. Nielsen, Álvaro Torralba, and K. G. Larsen, “Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”, ICAPS, vol. 34, no. 1, pp. 588-596, May 2024.