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.
Cite
CITATION STYLE
Suda, M. (2014). Property directed reachability for automated planning. In Proceedings International Conference on Automated Planning and Scheduling, ICAPS (Vol. 2014-January, pp. 540–541). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/icaps.v24i1.13655
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
