AAAI Publications, Twenty-Fourth International Conference on Automated Planning and Scheduling

Font Size: 
Property Directed Reachability for Automated Planning
Martin Suda

Last modified: 2014-05-11


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.


Property Directe Reachability; IC3; Automated Planning

Full Text: PDF