Proceedings:
Book One
Volume
Issue:
Proceedings of the International Conference on Automated Planning and Scheduling, 24
Track:
Journal Special Track
Downloads:
Abstract:
Property Directed Reachability (PDR), also known as IC3, is a very promising recent method for deciding reachability in symbolically represented transition systems. While originally conceived as a model checking algorithm for hardware circuits, it has already been successfully applied in several other areas. This paper summarizes the first investigation of PDR from the perspective of automated planning.
DOI:
10.1609/icaps.v24i1.13655
ICAPS
Proceedings of the International Conference on Automated Planning and Scheduling, 24