Aineto D, Scala E, Onaindia E, Serina I. Falsification of Cyber-Physical Systems Using PDDL+ Planning. ICAPS [Internet]. 2023Jul.1 [cited 2024Sep.3];33(1):2-6. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27172