Falsification of Cyber-Physical Systems Using PDDL+ Planning | Publicación