Mechanising Theoretical Upper Bounds in Planning

Citation

Abdulaziz, M, Gretton, C & Norrish, M 2015, 'Mechanising Theoretical Upper Bounds in Planning', 24th International Conference on Automated Planning and Scheduling 2014 (ICAPS), ed. S Chien, A Fern, W Ruml, M Do, Association for the Advancement of Artificial Intelligence (AAAI), USA, pp. 1 - 7pp.

Year

2015

ANU Authors

Field of Research

  • Adaptive Agents And Intelligent Robotics

Updated:  17 November 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers