Conference Proceedings

Numeric Planning with Disjunctive Global Constraints via SMT

Enrico Scala, Miquel Ramirez, Patrik Haslum, Sylvie Thiebaux

ICAPS | ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE | Published : 2016

Grants

Awarded by ARC Discovery Project "Robust AI Planning for Hybrid Systems"


Funding Acknowledgements

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.