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
2015ANU Authors
Field of Research
- Adaptive Agents And Intelligent Robotics