D. Aineto, E. Scala, E. Onaindia, and I. Serina, “Falsification of Cyber-Physical Systems Using PDDL+ Planning”, ICAPS, vol. 33, no. 1, pp. 2-6, Jul. 2023.