Aineto, D.; Scala, E.; Onaindia, E.; Serina, I. Falsification of Cyber-Physical Systems Using PDDL+ Planning. ICAPS 2023, 33, 2-6.