Aineto, Diego, Enrico Scala, Eva Onaindia, and Ivan Serina. 2023. “Falsification of Cyber-Physical Systems Using PDDL+ Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 33 (1):2-6. https://doi.org/10.1609/icaps.v33i1.27172.