Export 2 results:
Title [ Type(Asc)] Year
Filters: Author is Son Thanh To  [Clear All Filters]
Conference Proceedings
S. Thanh To, Johnson, B., Roberts, M., and Aha, D. W., A new approach to temporal planning with rich metric temporal properties, 2017 International Conference on Automated Planning and Scheduling. Pittsburg, PA, 2017.PDF icon Download PDF (279.54 KB)
S. Thanh To, Roberts, M., Apker, T., Johnson, B., and Aha, D. W., Mixed Propositional Metric Temporal Logic: A New Formalism in Temporal Planning, 2015 AAAI Workshop on Planning for Hybrid Systems. Phoenix, AZ, 2016.PDF icon Download PDF (364.45 KB)