-
Planning for hybrid systems via Satisfiability Modulo Theories.
Michael Cashmore, Daniele Magazzeni, and Parisa Zehtabi.
Journal of Artificial Intelligence Research, 67: 235–283. 2020.
-
A Compilation of the Full PDDL+ Language into SMT.
Michael Cashmore, Maria Fox, Derek Long and Daniele Magazzeni.
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS-16).
LINK (last checked 29/06/16)
-
Full PDDL+ Planning through SMT
Michael Cashmore, Maria Fox, Derek Long and Daniele Magazzeni.
AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16).