Return to Article Details Falsification of Cyber-Physical Systems Using PDDL+ Planning Download Download PDF