Aineto, D., E. Scala, E. Onaindia, and I. Serina. “Falsification of Cyber-Physical Systems Using PDDL+ Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 2-6, doi:10.1609/icaps.v33i1.27172.