Property Directed Reachability for Automated Planning

Authors

  • Martin Suda University of Manchester

DOI:

https://doi.org/10.1609/icaps.v24i1.13655

Keywords:

Property Directe Reachability, IC3, 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.

Downloads

Published

2014-05-11

How to Cite

Suda, M. (2014). Property Directed Reachability for Automated Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), 540-541. https://doi.org/10.1609/icaps.v24i1.13655

Issue

Vol. 24 (2014): Twenty-Fourth International Conference on Automated Planning and Scheduling

Section

Journal Special Track