Categories recording A Compilation of the Full PDDL+ Language into SMT Post date June 20, 2016 ICAPS 2016: Hybrid Planning (Session 6a)Watch this video on YouTube Michael Cashmore, Maria Fox, Derek Long, Daniele MagazzeniA Compilation of the Full PDDL+ Language into SMT ← Risk Bounded Scheduling and Path Planning → Energy Systems: Challenges and Opportunities for ICAPS