Property Directed Reachability for Automated Planning
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
Text
Suda. "Property Directed Reachability for Automated Planning." Journal of Artificial Intelligence Research, 2014. doi:10.1613/JAIR.4231Markdown
[Suda. "Property Directed Reachability for Automated Planning." Journal of Artificial Intelligence Research, 2014.](https://mlanthology.org/jair/2014/suda2014jair-property/) doi:10.1613/JAIR.4231BibTeX
@article{suda2014jair-property,
title = {{Property Directed Reachability for Automated Planning}},
author = {Suda, Martin},
journal = {Journal of Artificial Intelligence Research},
year = {2014},
pages = {265-319},
doi = {10.1613/JAIR.4231},
volume = {50},
url = {https://mlanthology.org/jair/2014/suda2014jair-property/}
}