Mechanising Theoretical Upper Bounds in Planning


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.



ANU Authors

Field of Research

  • Adaptive Agents And Intelligent Robotics

Updated:  02 June 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers