ICAPS 2014: Martin Suda on "Property Directed Reachability for Automated Planning"

ICAPS 2014: Martin Suda on "Property Directed Reachability for Automated Planning"

May 05, 2015
|
24 views
Details
ICAPS 2014 talk on the paper Martin Suda. Property Directed Reachability for Automated Planning. Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling. pp. 540-541. 2014. AAAI Press (online available at http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/8666)

Comments
loading...