Numeric Planning with Disjunctive Global Constraints via SMT
Enrico Scala, Miquel Ramirez, Patrik Haslum, Sylvie Thiebaux
ICAPS | ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE | Published : 2016
Awarded by ARC Discovery Project "Robust AI Planning for Hybrid Systems"
This research is supported by the ARC Discovery Project "Robust AI Planning for Hybrid Systems" (DP140104219) and NICTA. NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program. We would also like to thank the anonymous reviewers and Alban Grastien for their constructive and helpful comments.