A Compilation of the Full PDDL+ Language into SMT.
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
VenueA*AAAI
Year2016
ProceedingsAAAI Workshop: Planning for Hybrid Systems
DBLP recordconf/aaai/CashmoreFLM16 ↗
Browse the full AAAI paper archive.