Browse by Author or creator

Murray, Andrew and Arulselvan, Ashwin and Roper, Marc and Cashmore, Michael and Mohalik, Swarup Kumar and Burdick, Ian and David, Sushanth; (2023) The cost of quality of service : SLA aware VNF placement and routing using column generation. In: Proceedings of 2023 13th International Workshop on Resilient Networks Design and Modeling (RNDM). International Workshop on Resilient Networks Design and Modeling (RNDM) . IEEE, DEU. ISBN 9798350327359

Murray, Andrew and Arulselvan, Ashwin and Cashmore, Michael and Roper, Marc and Frank, Jeremy; Koenig, Sven and Stern, Roni and Vallati, Mauro, eds. (2023) A column generation approach to correlated simple temporal networks. In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Proceedings of the International Conference on Automated Planning and Scheduling . AAAI Press, CZE, pp. 295-303. ISBN 9781577358817

Valle, Gonzalo Montesino and Cashmore, Michael (2022) Towards ensemble AI behaviours for satellite plan execution. In: 73rd International Astronautical Congress 2022, 2022-09-18 - 2022-09-22.

Murray, Andrew and Cashmore, Michael and Arulselvan, Ashwin and Frank, Jeremy; (2022) Joint chance constrained probabilistic simple temporal networks via column generation. In: 15th International Symposium on Combinatorial Search. Association for the Advancement of Artificial Intelligence, California, USA, pp. 305-307. ISBN 1577358732

Murray, Andrew and Cashmore, Michael and Arulselvan, Ashwin (2022) Joint chance constrained probabilistic simple temporal networks via column generation (extended abstract). In: 19th International Conference on the Integration of Constraint Programmng, Artificial Intelligence, and Operations Research, 2022-06-20 - 2022-06-23, https://sites.google.com/usc.edu/cpaior-2022.

Valle, Gonzalo Montesino and Cashmore, Michael (2022) Deep reinforcement learning for plan execution. In: IntEx Workshop on Integrated Planning, Acting, and Execution, 2022-06-17 - 2022-06-17, Virtual.

Bezrucav, Stefan-Octavian and Canal, Gerard and Coles, Andrew and Cashmore, Michael and Corves, Burkhard (2022) Towards automatic state recovery for replanning. In: IntEx Workshop on Integrated Planning, Acting, and Execution, 2022-06-17 - 2022-06-17, Virtual.

McArthur, Mark and Moshfeghi, Yashar and Cashmore, Michael (2022) EgoPlan : A framework for multi-agent planning using single agent planners. Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS, 35. 130647. ISSN 2334-0762

Vasileiou, Stylianos Loukas and Yeoh, William and Son, Tran Cao and Kumar, Ashwin and Cashmore, Michael and Magazzeni, Dianele (2022) A logic-based explanation generation framework for classical and hybrid planning problems. Journal of Artificial Intelligence Research, 73. pp. 1473-1534. ISSN 1076-9757

Murray, Andrew and Krarup, Benjamin and Cashmore, Michael; Bapi, Raju and Kulkarni, Sandeep and Mohalik, Swarup and Peri, Sathya, eds. (2022) Towards temporally uncertain explainable AI planning. In: Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Lecture Notes in Computer Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13145 . Springer Science and Business Media Deutschland GmbH, IND, pp. 45-59. ISBN 9783030948757

Moon, Jiyoun and Bae, Sung-hoon and Cashmore, Michael; (2021) Meta reinforcement learning based underwater manipulator control. In: 2021 21st International Conference on Control, Automation and Systems (ICCAS). International Conference on Control, Automation and Systems . IEEE, KOR, pp. 1473-1476. ISBN 9788993215212

Ribeiro, Tomás and Lima, Oscar and Cashmore, Michael and Micheli, Andrea and Ventura, Rodrigo; Combi, Carlo and Eder, Johann and Reynolds, Mark, eds. (2021) Olisipo : A probabilistic approach to the adaptable execution of deterministic temporal plans. In: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany. ISBN 9783959772068

Keren, Sarah and Canal, Gerard and Cashmore, Michael; (2021) Task-aware waypoint sampling for robotic planning. In: Proceedings of the International Conference on Automated Planning and Scheduling. AAAI Press, CHN, pp. 643-651.

Nemiro, Liudvikas and Canal, Gerard and Lima, Oscar and Cashmore, Michael and Roberts, Mark (2021) Designing an adaptable benchmark and competition simulation for integrated planning and execution. In: The International Conference on Automated Planning and Scheduling 2021, 2021-08-02 - 2021-08-13, Virtual.

Bezrucav, Stefan-Octavian and Canal, Gerard and Cashmore, Michael and Corves, Burkhard (2021) An action interface manager for ROSPlan. In: The International Conference on Automated Planning and Scheduling 2021, 2021-08-02 - 2021-08-13, Virtual.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2021) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: TIME 2021 - International Symposium on Temporal Representation and Reasoning. Dagstuhl Publishing. (In Press)

Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E (2021) Contrastive explanations of plans through model restrictions. Preprint / Working Paper. arXiv.org, Ithaca, N.Y..

Keren, Sarah and Canal, Gerard and Cashmore, Michael (2021) Task-aware waypoint sampling for robotic planning. In: Association for the Advancement of Artificial Intelligence Spring Conference Series, 2021-03-22 - 2021-03-24, Online.

Buksz, Dorian and Mujumdar, Anusha and Orlić, Marin and Mohalik, Swarup and Daoutis, Marios and Badrinath, Ramamurthy and Magazzeni, Daniele and Cashmore, Michael and Feljan, Anerta Vulgarakis; (2021) Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. IEEE International Conference on Intelligent Robots and Systems . IEEE, Piscataway, N.J., pp. 6733-6740. ISBN 9781728162126

Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus (2020) Using machine learning for decreasing state uncertainty in planning. Journal of Artificial Intelligence Research, 69. pp. 765-806. ISSN 1076-9757

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2020) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: Integrated Execution (IntEx) / Goal Reasoning (GR), 2020-10-19 - 2020-10-30, Virtual.

Keren, Sarah and Canal, Gerard and Cashmore, Michael (2020) Task-aware waypoint sampling for planning robots. In: Planning and Robotics 2020, 2020-10-19 - 2020-10-30, Virtual.

Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo; (2020) Robust execution of deterministic plans in non-deterministic environments. In: Workshop on Integrated Execution (IntEx) and Goal Reasoning (GR), International Conference on Automated Planning and Scheduling. ICAPS, [Germany].

Eifler, Rebecca and Cashmore, Michael and Hoffmann, Jörg and Magazzeni, Daniele and Steinmetz, Marcel; (2020) A new approach to plan-space explanation: analyzing plan-property dependencies in oversubscription planning. In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, Palo Alto, California USA, pp. 9818-9826. ISBN 9781577358350

Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo (2020) Robust plan execution with unexpected observations. Preprint / Working Paper. arXiv.org, Ithaca, New York.

Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa (2020) Planning for hybrid systems via Satisfiability Modulo Theories. Journal of Artificial Intelligence Research, 67. pp. 235-283. ISSN 1076-9757

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2019) Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. Preprint / Working Paper. arXiv.org, Ithica, N.Y..

Moon, Jiyoun and Magazzeni, Daniele and Cashmore, Michael and Buksz, Dorian and Lee, Beom-Hee and Moon, Yong-Seon and Roh, Sang-Hyun; (2019) Towards explanations of plan execution for human-robot teaming. In: SDMM19 : 1st International Workshop on the Semantic Descriptor, Semantic Modeling and Mapping for Humanlike Perception and Navigation of Mobile Robots toward Large Scale Long-Term Autonomy. CEUR Workshop Proceedings, CHN, pp. 58-64.

Krarup, Benjamin and Cashmore, Michael and Magazzeni, Daniele and Miller, Tim; (2019) Model-based contrastive explanations for explainable planning. In: ICAPS 2019 Workshop on Explainable AI Planning (XAIP). AAAI Press, USA.

Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David (2019) Towards explainable AI planning as a service. In: 2nd ICAPS Workshop on Explainable Planning, 2019-07-12 - 2019-07-12.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2019) Replanning for situated robots. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS) 2019. AAAI Press, USA.

Eifler, Rebecca and Cashmore, Michael and Hoffmann, Jörg and Magazzeni, Daniele and Steinmetz, Marcel; (2019) Explaining the space of plans through plan-property dependencies. In: Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019). King's College London, London, pp. 61-68.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2019) Robustness envelopes for temporal plans. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. AAAI Press, USA.

Borgo, Rita and Cashmore, Michael and Magazzeni, Daniele (2018) Towards Providing Explanations for AI Planner Decisions. In: IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI), 2018-07-13 - 2018-07-13, Stockholmsmässan.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Temporal planning while the clock ticks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling, ICAPS 2018. AAAI Press, NLD, pp. 39-46.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram (2018) Opportunistic planning in autonomous underwater missions. IEEE Transactions on Automation Science and Engineering, 15 (2). pp. 519-530. ISSN 1545-5955

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Situated planning for execution under temporal constraints. In: Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy. AAAI Press, USA.

Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Ridder, Bram and Szedmak, Sandor and Piater, Justus; Sierra, Carles, ed. (2017) Decreasing uncertainty in planning with state prediction. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence IJCAI-17. IJCAI, AUS, pp. 2032-2038. ISBN 9780999241103

Sanelli, Valerio and Cashmore, Michael and Magazzeni, Daniele and Iocchi, Luca; (2017) Short-term human-robot interaction through conditional planning and execution. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, USA. ISBN 9781577357896

Krivic, Senka and Cashmore, Michael and Ridder, Bram and Piater, Justus; (2017) Initial state prediction in planning. In: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning. AAAI Press, Palo Alto, US-CA..

Krivic, Senka and Cashmore, Michael and Ridder, Bram and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus; (2017) Initial state prediction in planning. In: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning - Technical Report. AAAI Press, Menlo Park, US-CA.. ISBN 9781577357865

Ridder, Bram and Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) Factorised contingency planning. In: Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016). University of Huddersfield, Huddersfield.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; Finzi, Alberto and Karpas, Erez, eds. (2016) Opportunistic planning for increased plan utility. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [London].

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; (2016) Strategic planning for autonomous systems over long horizons. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, London, pp. 74-81.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) A compilation of the full PDDL+ language into SMT. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). AAAI Press, Menlo Park, US-CA., pp. 583-591.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco; Finzi, Alberto and Ingrand, Felix and Orlandini, Andrea, eds. (2015) Dynamically extending planning models using an ontology. In: Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [Jerusalem], pp. 79-85.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and Carrera, Arnau and Palomeras, Narcis and Hurtós, Natalia and Carreras, Marc; Brafman, Ronen and Domshlak, Carmel and Haslum, Patrik and Zilberstein, Shlomo, eds. (2015) Rosplan : planning in the robot operating system. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, ISR, pp. 333-241. ISBN 9781577357315

Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico; (2012) Planning as quantified boolean formula. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI) 2012. IOS Press, FRA, pp. 217-222. ISBN 9781614990970