Tollund, R. G.; Johansen, N. S.; Nielsen, K. Ø.; Torralba, Álvaro; Larsen, K. G. Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS 2024, 34, 588-596.