Falsification of Cyber-Physical Systems Using PDDL+ Planning.

Diego Aineto Enrico Scala Eva Onaindia Ivan Serina

Published in: ICAPS (2023)

Keyphrases

ai planning
cyber physical systems
planning domains
derived predicates
planning problems

planning systems
cyber physical
temporal planning
domain independent
physical world

heuristic search
real time
cyber security
planning graph
critical infrastructure

action recognition
software engineering
knowledge discovery
control system