Research


Publications

Refereed Journal Articles

  1. Booth, K.E.C, Mohamed, S.C., Rajaratnam, S., Nejat, G., & Beck, J.C., "Robots in Retirement Homes: Person Search and Task Planning for a Group of Residents by a Team of Assistive Robots", IEEE Intelligent Systems, in press, accepted July, 2017.
  2. Booth, K.E.C., Tran, T.T., Nejat, G., & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", IEEE Robotics and Automation Letters, Vol. 1 (1), 500-507, 2016.

Refereed Conference Proceedings

  1. Booth, K.E.C., Nejat, G., & Beck, J.C., "A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes", Proceedings of the Twenty-Second International Conference on Principles and Practice of Constraint Programming (CP2016), 539-555, 2016. Winner of the Distinguished Student Paper Award.
  2. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Logic-Based Decomposition Methods for the Travelling Purchaser Problem", Proceedings of the Thirteenth International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming (CPAIOR2016), 55-64, 2016.

Refereed Extended Abstracts

  1. Booth, K.E.C, Tran, T.T., Nejat, G., & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", Proceedings of the Twenty-Second International Conference on Principles and Practice of Constraint Programming (CP2016), Journal Track, 883, 2016.

Workshops

  1. Booth, K.E.C., Tran, T.T., Nejat, G., & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", Workshop on Constraint Satisfaction Techniques for Planning and Scheduling (COPLAS2016), 1-4, London, UK, June 2016.

Presentations

  1. Roshanaei, V., Booth, K.E.C., Aleman, D., Urbach, D., & Beck, J.C., "Decomposition Methods for Multi-Level Operating Room Planning and Scheduling", IISE2017, Pittsburgh, Pennsylvania, United States, May 2017.
  2. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes", CP2016, Toulouse, France, September 2016. [Video]
  3. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", CP2016, Toulouse, France, September 2016.
  4. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", COPLAS2016, London, England, June 2016.
  5. Booth, K.E.C., "Optimization Approaches to Multi-robot Planning and Scheduling", ICAPS2016 Doctoral Consortium, London, England, June 2016.
  6. Booth, K.E.C., Roshanaei, V., Aleman, D., Urbach, D., & Beck, J.C., "Optimal Operating Room Allocation to Multiple Surgical Specialties Using Decomposition Methods", CORS2016, Banff, Alberta, Canada, May 2016.
  7. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Logic-Based Decomposition Methods for the Travelling Purchaser Problem", CPAIOR2016, Banff, Alberta, Canada, May 2016.
  8. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Decomposition Methods for the Travelling Purchaser Problem: A Computational Study", ISAIM2016, Fort Lauderdale, Florida, USA, January 2016.
honours & awards
  1. Mart Liinve Graduate Scholarship, Queen Elizabeth II Graduate Scholarship in Science & Technology, 2016-2017
  2. Distinguished Student Paper Award - The 22nd International Conference on the Principles and Practice of Constraint Programming (CP2016), September 2016
Student Supervision
  1. Kejie Zhao (2nd year, B.Eng.Sc., Summer 2017)
  2. Alice Nuz (3rd year, B.Eng.Sc., Summer 2016)