Categories recording Property Directed Reachability for Automated Planning Post date June 20, 2014 ICAPS 2014: Martin Suda on "Property Directed Reachability for Automated Planning"Watch this video on YouTube Martin SudaProperty Directed Reachability for Automated Planning ← Smart Urban Signal Networks: Initial Application of the SURTRAC Adaptive Traffic Signal Control System → Global Heuristics for Distributed Cooperative Multi-Agent Planning
ICAPSICAPS