Falsification of Cyber-Physical Systems Using PDDL+ Planning.
Diego AinetoEnrico ScalaEva OnaindiaIvan SerinaPublished 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