var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=http://personal.strath.ac.uk/michael.cashmore/pubs.bib&jsonp=1&owner=none&theme=side&hidemenu=true&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=http://personal.strath.ac.uk/michael.cashmore/pubs.bib&jsonp=1&owner=none&theme=side&hidemenu=true\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=http://personal.strath.ac.uk/michael.cashmore/pubs.bib&jsonp=1&owner=none&theme=side&hidemenu=true\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2022\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Towards Ensemble AI Behaviours for Satellite Plan Execution.\n \n \n \n\n\n \n Valle, G. M.; and Cashmore, M.\n\n\n \n\n\n\n In 73rd International Astronautical Congress, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{murray2022jccpstn,\r\n  title={Towards Ensemble AI Behaviours for Satellite Plan Execution},\r\n  author={Gonzalo Montesino Valle and Michael Cashmore},\r\n  booktitle={73rd International Astronautical Congress},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation.\n \n \n \n\n\n \n Murray, A.; Cashmore, M.; Arulselvan, A.; and Frank, J.\n\n\n \n\n\n\n In 15th International Symposium on Combinatorial Search, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{murray2022jccpstn,\r\n  title={Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation},\r\n  author={Andrew Murray and Michael Cashmore and Ashwin Arulselvan and Jeremy Frank},\r\n  booktitle={15th International Symposium on Combinatorial Search},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (extended abstract).\n \n \n \n\n\n \n Murray, A.; Cashmore, M.; and Arulselvan, A.\n\n\n \n\n\n\n In 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{murray2022jccpstna,\r\n  title={Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (extended abstract)},\r\n  author={Andrew Murray and Michael Cashmore and Ashwin Arulselvan},\r\n  booktitle={19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems.\n \n \n \n\n\n \n Vasileiou, S. L.; Yeoh, W.; Son, T. C.; Kumar, A.; Cashmore, M.; and Magazzeni, D.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 73: 1473–1534. 2022.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{vasileiou2022logic,\r\n  title={A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems},\r\n  author={Vasileiou, Stylianos Loukas and Yeoh, William and Son, Tran Cao and Kumar, Ashwin and Cashmore, Michael and Magazzeni, Dianele},\r\n  journal={Journal of Artificial Intelligence Research},\r\n  volume={73},\r\n  pages={1473--1534},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners.\n \n \n \n\n\n \n McArthur, M.; Moshfeghi, Y.; and Cashmore, M.\n\n\n \n\n\n\n In The International FLAIRS Conference Proceedings, volume 35, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{mcarthur2022egoplan,\r\n  title={EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners},\r\n  author={McArthur, Mark and Moshfeghi, Yashar and Cashmore, Michael},\r\n  booktitle={The International FLAIRS Conference Proceedings},\r\n  volume={35},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Deep Reinforcement Learning for Plan Execution.\n \n \n \n\n\n \n Valle, G. M.; and Cashmore, M.\n\n\n \n\n\n\n In ICAPS 2022 Workshop on Integrated Planning, Acting, and Execution (IntEx), 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{valle2022drlpex,\r\n  title={Deep Reinforcement Learning for Plan Execution},\r\n  author={Gonzalo Montesino Valle and Michael Cashmore},\r\n  booktitle={ICAPS 2022 Workshop on Integrated Planning, Acting, and Execution (IntEx)},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Automatic State Recovery for Replanning.\n \n \n \n\n\n \n Bezrucav, S.; Canal, G.; Coles, A.; Cashmore, M.; and Corves, B.\n\n\n \n\n\n\n In ICAPS 2022 Workshop on Integrated Planning, Acting, and Execution (IntEx), 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{bezrucav2022towards,\r\n  title={Towards Automatic State Recovery for Replanning},\r\n  author={Bezrucav, Stefan-Octavian and Canal, Gerard and Coles, Andrew and Cashmore, Michael and Corves, Burkhard},\r\n  booktitle={ICAPS 2022 Workshop on Integrated Planning, Acting, and Execution (IntEx)},\r\n  year={2022}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Temporally Uncertain Explainable AI Planning.\n \n \n \n\n\n \n Murray, A.; Krarup, B.; and Cashmore, M.\n\n\n \n\n\n\n In Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings, volume 13145, of Lecture Notes in Computer Science, pages 45–59, 2022. Springer\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icdcit/MurrayKC22,\r\n  author    = {Andrew Murray and Benjamin Krarup and Michael Cashmore},\r\n  title     = {Towards Temporally Uncertain Explainable {AI} Planning},\r\n  booktitle = {Distributed Computing and Intelligent Technology - 18th International Conference, {ICDCIT} 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings},\r\n  series    = {Lecture Notes in Computer Science},\r\n  volume    = {13145},\r\n  pages     = {45--59},\r\n  publisher = {Springer},\r\n  year      = {2022},\r\n  doi       = {10.1007/978-3-030-94876-4\\_3},\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n An Action Interface Manager for ROSPlan.\n \n \n \n\n\n \n Bezrucav, S.; Canal, G.; Cashmore, M.; and Corves, B.\n\n\n \n\n\n\n In Proceedings of the 9th ICAPS Workshop on Planning and Robotics (PlanRob 2021), pages 9–pages, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2021actioninterface,\r\n  title={An Action Interface Manager for ROSPlan},\r\n  author={Bezrucav, Stefan-Octavian and Canal, Gerard and Cashmore, Michael and Corves, Burkhard},\r\n  booktitle={Proceedings of the 9th ICAPS Workshop on Planning and Robotics (PlanRob 2021)},\r\n  pages={9--pages},\r\n  year={2021}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Designing an Adaptable Benchmark and Competition Simulation for Integrated Planning and Execution.\n \n \n \n\n\n \n Nemiro, L.; Canal, G.; Lima, O.; Cashmore, M.; and Roberts, M.\n\n\n \n\n\n\n In Proceedings of the Workshop on the International Planning Competition (WIPC 2021), pages 5–pages, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2021craftbots,\r\n  title={Designing an Adaptable Benchmark and Competition Simulation for Integrated Planning and Execution},\r\n  author={Nemiro, Liudvikas and Canal, Gerard and Lima, Oscar and Cashmore, Michael  and Roberts, Mark},\r\n  booktitle={Proceedings of the Workshop on the International Planning Competition (WIPC 2021)},\r\n  pages={5--pages},\r\n  year={2021}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n OLISIPO: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans .\n \n \n \n\n\n \n Ribeiro, T.; Lima, O.; Cashmore, M.; Micheli, A.; and Ventura, R.\n\n\n \n\n\n\n In TIME International Symposium on Temporal Representation and Reasoning, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2021olisipo,\r\n  title={{OLISIPO}: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans\t},\r\n  author={Ribeiro, Tomás and Lima, Oscar and Cashmore, Michael and Micheli, Andrea and Ventura, Rodrigo},\r\n  booktitle={TIME International Symposium on Temporal Representation and Reasoning},\r\n  year={2021}\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.\n \n \n \n\n\n \n Cashmore, M.; Cimatti, A.; Magazzeni, D.; Micheli, A.; and Zehtabi, P.\n\n\n \n\n\n\n In TIME International Symposium on Temporal Representation and Reasoning, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2021envelope,\r\n  title={Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans},\r\n  author={  Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa},\r\n  booktitle={TIME International Symposium on Temporal Representation and Reasoning},\r\n  year={2021}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Contrastive Explanations of Plans Through Model Restrictions.\n \n \n \n\n\n \n Krarup, B.; Krivic, S.; Magazzeni, D.; Long, D.; Cashmore, M.; and Smith, D. E\n\n\n \n\n\n\n arXiv preprint arXiv:2103.15575. 2021.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{krarup2021contrastive,\r\n  title={Contrastive Explanations of Plans Through Model Restrictions},\r\n  author={Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E},\r\n  journal={arXiv preprint arXiv:2103.15575},\r\n  year={2021}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Task-Aware Waypoint Sampling for Robotic Planning.\n \n \n \n\n\n \n Keren, S.; Canal, G.; and Cashmore, M.\n\n\n \n\n\n\n In AAAI 2021 Spring Symposium Series: Machine Learning for Mobile Robot Navigation in the Wild, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{keren2021taska,\r\n  title={Task-Aware Waypoint Sampling for Robotic Planning},\r\n  author={Keren, Sarah and Canal, Gerard and Cashmore, Michael},\r\n  booktitle={AAAI 2021 Spring Symposium Series: Machine Learning for Mobile Robot Navigation in the Wild},\r\n  year={2021}\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Task-Aware Waypoint Sampling for Robotic Planning.\n \n \n \n\n\n \n Keren, S.; Canal, G.; and Cashmore, M.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling, volume 31, pages 643–651, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{keren2021task,\r\n  title={Task-Aware Waypoint Sampling for Robotic Planning},\r\n  author={Keren, Sarah and Canal, Gerard and Cashmore, Michael},\r\n  booktitle={Proceedings of the International Conference on Automated Planning and Scheduling},\r\n  volume={31},\r\n  pages={643--651},\r\n  year={2021}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Contrastive Explanations of Plans through Model Restrictions.\n \n \n \n\n\n \n Krarup, B.; Krivic, S.; Magazzeni, D.; Long, D.; Cashmore, M.; and Smith, D.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research (accepted/in-press). 2021.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{krarup21xaip,\r\n  title={Contrastive Explanations of Plans through Model Restrictions},\r\n  author={Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David},\r\n  journal={Journal of Artificial Intelligence Research (accepted/in-press)},\r\n  year={2021}\r\n}\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.\n \n \n \n\n\n \n Eifler, R.; Cashmore, M.; Hoffmann, J.; Magazzeni, D.; and Steinmetz, M.\n\n\n \n\n\n\n In AAAI, pages 9818–9826, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{eifler2020new,\r\n  title={A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.},\r\n  author={Eifler, Rebecca and Cashmore, Michael and Hoffmann, J{\\"o}rg and Magazzeni, Daniele and Steinmetz, Marcel},\r\n  booktitle={AAAI},\r\n  pages={9818--9826},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.\n \n \n \n\n\n \n Cashmore, M.; Cimatti, A.; Magazzeni, D.; Micheli, A.; and Zehtabi, P.\n\n\n \n\n\n\n In Workshop on Integrated Execution (IntEx) / Goal Reasoning (GR), International Conference on Automated Planning and Scheduling, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2020envelopes,\r\n  title={Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans},\r\n  author={Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa},\r\n  booktitle={Workshop on Integrated Execution (IntEx) / Goal Reasoning (GR), International Conference on Automated Planning and Scheduling},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Planning for hybrid systems via Satisfiability Modulo Theories.\n \n \n \n\n\n \n Cashmore, M.; Magazzeni, D.; and Zehtabi, P.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 67: 235–283. 2020.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2020planning,\r\n  title={Planning for hybrid systems via Satisfiability Modulo Theories},\r\n  author={Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa},\r\n  journal={Journal of Artificial Intelligence Research},\r\n  volume={67},\r\n  pages={235--283},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Robust plan execution with unexpected observations.\n \n \n \n\n\n \n Lima, O.; Cashmore, M.; Magazzeni, D.; Micheli, A.; and Ventura, R.\n\n\n \n\n\n\n arXiv preprint arXiv:2003.09401. 2020.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{lima2020preprint,\r\n  title={Robust plan execution with unexpected observations},\r\n  author={Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo},\r\n  journal={arXiv preprint arXiv:2003.09401},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones.\n \n \n \n\n\n \n Buksz, D.; Mujumdar, A.; Orlic, M.; Mohalik, S.; Daoutis, M.; Badrinath, R.; Magazzeni, D.; Cashmore, M.; and Feljan, A. V.\n\n\n \n\n\n\n In 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{buksz2020intent,\r\n  title={Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones},\r\n  author={Buksz, Dorian and Mujumdar, Anusha and Orlic, Marin and Mohalik, Swarup and Daoutis, Marios and Badrinath, Ramamurthy and Magazzeni, Daniele and Cashmore, Michael and Feljan, Aneta Vulgarakis},\r\n  booktitle={2020 IEEE/RSJ International Conference on Intelligent Robots and Systems},\r\n  year={2020},\r\n  organization={IEEE}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Task-Aware Waypoint Sampling for Planning Robots.\n \n \n \n\n\n \n Keren, S.; Canal, G.; and Cashmore, M.\n\n\n \n\n\n\n In ICAPS Workshop on Planning and Robotics (PlanRob 2020), 2020. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{keren2020task,\r\n  title={Task-Aware Waypoint Sampling for Planning Robots},\r\n  author={Keren, Sarah and Canal, Gerard and Cashmore, Michael},\r\n  booktitle={ICAPS Workshop on Planning and Robotics (PlanRob 2020)},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Using Machine Learning for Decreasing State Uncertainty in Planning.\n \n \n \n\n\n \n Krivic, S.; Cashmore, M.; Magazzeni, D.; Szedmak, S.; and Piater, J.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 69: 765–806. 2020.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{krivic2020using,\r\n  title={Using Machine Learning for Decreasing State Uncertainty in Planning},\r\n  author={Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus},\r\n  journal={Journal of Artificial Intelligence Research},\r\n  volume={69},\r\n  pages={765--806},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Robust execution of deterministic plans in non-deterministic environments.\n \n \n \n\n\n \n Lima, O.; Cashmore, M.; Magazzeni, D.; Micheli, A.; and Ventura, R.\n\n\n \n\n\n\n In Workshop on Integrated Execution (IntEx) / Goal Reasoning (GR), International Conference on Automated Planning and Scheduling, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{lima2020robust,\r\n  title={Robust execution of deterministic plans in non-deterministic environments},\r\n  author={Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo},\r\n  booktitle={Workshop on Integrated Execution (IntEx) / Goal Reasoning (GR), International Conference on Automated Planning and Scheduling},\r\n  year={2020}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Robustness envelopes for temporal plans.\n \n \n \n\n\n \n Cashmore, M.; Cimatti, A.; Magazzeni, D.; Micheli, A.; and Zehtabi, P.\n\n\n \n\n\n\n In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, pages 7538–7545, 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2019robustness,\r\n  title={Robustness envelopes for temporal plans},\r\n  author={Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa},\r\n  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},\r\n  volume={33},\r\n  pages={7538--7545},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Model-based contrastive explanations for explainable planning.\n \n \n \n\n\n \n Krarup, B.; Cashmore, M.; Magazzeni, D.; and Miller, T.\n\n\n \n\n\n\n . 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{krarup2019model,\r\n  title={Model-based contrastive explanations for explainable planning},\r\n  author={Krarup, Benjamin and Cashmore, Michael and Magazzeni, Daniele and Miller, Tim},\r\n  year={2019},\r\n  publisher={AAAI Press}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards explainable AI planning as a service.\n \n \n \n\n\n \n Cashmore, M.; Collins, A.; Krarup, B.; Krivic, S.; Magazzeni, D.; and Smith, D.\n\n\n \n\n\n\n arXiv preprint arXiv:1908.05059. 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2019towards,\r\n  title={Towards explainable AI planning as a service},\r\n  author={Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David},\r\n  journal={arXiv preprint arXiv:1908.05059},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Replanning for situated robots.\n \n \n \n\n\n \n Cashmore, M.; Coles, A.; Cserna, B.; Karpas, E.; Magazzeni, D.; and Ruml, W.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling, volume 29, pages 665–673, 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2019replanning,\r\n  title={Replanning for situated robots},\r\n  author={Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler},\r\n  booktitle={Proceedings of the International Conference on Automated Planning and Scheduling},\r\n  volume={29},\r\n  number={1},\r\n  pages={665--673},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Probabilistic planning for robotics with ROSPlan.\n \n \n \n\n\n \n Canal, G.; Cashmore, M.; Krivić, S.; Alenyà, G.; Magazzeni, D.; and Torras, C.\n\n\n \n\n\n\n In Annual Conference Towards Autonomous Robotic Systems, pages 236–250, 2019. Springer, Cham\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{canal2019probabilistic,\r\n  title={Probabilistic planning for robotics with ROSPlan},\r\n  author={Canal, Gerard and Cashmore, Michael and Krivi{\\'c}, Senka and Aleny{\\`a}, Guillem and Magazzeni, Daniele and Torras, Carme},\r\n  booktitle={Annual Conference Towards Autonomous Robotic Systems},\r\n  pages={236--250},\r\n  year={2019},\r\n  organization={Springer, Cham}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.\n \n \n \n\n\n \n Cashmore, M.; Cimatti, A.; Magazzeni, D.; Micheli, A.; and Zehtabi, P.\n\n\n \n\n\n\n arXiv preprint arXiv:1911.07318. 2019.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2019towards,\r\n  title={Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans},\r\n  author={Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa},\r\n  journal={arXiv preprint arXiv:1911.07318},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Explanations of Plan Execution for Human-Robot Teaming.\n \n \n \n\n\n \n Moon, J.; Magazzeni, D.; Cashmore, M.; Buksz, D.; Lee, B.; Moon, Y.; and Roh, S.\n\n\n \n\n\n\n In 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 (SDMM19), 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{moon2019towards,\r\n  title={Towards Explanations of Plan Execution for Human-Robot Teaming},\r\n  author={Moon, Jiyoun and Magazzeni, Daniele and Cashmore, Michael and Buksz, Dorian and Lee, Beom-Hee and Moon, Yong-Seon and Roh, Sang-Hyun},\r\n  booktitle={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 (SDMM19)},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Explaining the space of plans through plan-property dependencies.\n \n \n \n\n\n \n Eifler, R.; Cashmore, M.; Hoffmann, J.; Magazzeni, D.; and Steinmetz, M.\n\n\n \n\n\n\n In Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019), 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{eifler2019explaining,\r\n  title={Explaining the space of plans through plan-property dependencies},\r\n  author={Eifler, Rebecca and Cashmore, Michael and Hoffmann, J{\\"o}rg and Magazzeni, Daniele and Steinmetz, Marcel},\r\n  booktitle={Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019)},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Verbalization of Plan Execution for Human-Robot Teaming.\n \n \n \n\n\n \n Moon, J.; Magazzeni, D.; Cashmore, M.; Lee, B.; Moon, Y.; and Roh, S.\n\n\n \n\n\n\n In IROS Workshop on Semantic Descriptor, Semantic Modeling and Mapping for Humanlike Perception and Navigation of Mobile Robots toward Large Scale Long-Term Autonomy, 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{moon2019verbalization,\r\n  title={Verbalization of Plan Execution for Human-Robot Teaming},\r\n  author={Moon, Jiyoun and Magazzeni, Daniele and Cashmore, Michael and Lee, Beom-Hee and Moon, Yong-Seon and Roh, Sang-Hyun},\r\n  booktitle={IROS Workshop on Semantic Descriptor, Semantic Modeling and Mapping for Humanlike Perception and Navigation of Mobile Robots toward Large Scale Long-Term Autonomy},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Explainable planning as a service.\n \n \n \n\n\n \n Cashmore, M.; Collins, A.; Krarup, B.; Krivic, S.; Magazzeni, D.; and Smith, D.\n\n\n \n\n\n\n In ICAPS-19 Workshop on Explainable Planning, 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2019explainable,\r\n  title={Explainable planning as a service},\r\n  author={Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David},\r\n  booktitle={ICAPS-19 Workshop on Explainable Planning},\r\n  year={2019}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Situated planning for execution under temporal constraints.\n \n \n \n\n\n \n Cashmore, M.; Coles, A.; Cserna, B.; Karpas, E.; Magazzeni, D.; and Ruml, W.\n\n\n \n\n\n\n . 2018.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2018situated,\r\n  title={Situated planning for execution under temporal constraints},\r\n  author={Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler},\r\n  year={2018},\r\n  publisher={AAAI Press}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Temporal planning while the clock ticks.\n \n \n \n\n\n \n Cashmore, M.; Coles, A.; Cserna, B.; Karpas, E.; Magazzeni, D.; and Ruml, W.\n\n\n \n\n\n\n . 2018.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2018temporal,\r\n  title={Temporal planning while the clock ticks},\r\n  author={Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler},\r\n  year={2018},\r\n  publisher={AAAI Press}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards providing explanations for AI planner decisions.\n \n \n \n\n\n \n Borgo, R.; Cashmore, M.; and Magazzeni, D.\n\n\n \n\n\n\n arXiv preprint arXiv:1810.06338. 2018.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{borgo2018towards,\r\n  title={Towards providing explanations for AI planner decisions},\r\n  author={Borgo, Rita and Cashmore, Michael and Magazzeni, Daniele},\r\n  journal={arXiv preprint arXiv:1810.06338},\r\n  year={2018}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Strategic-tactical planning for autonomous underwater vehicles over long horizons.\n \n \n \n\n\n \n Buksz, D.; Cashmore, M.; Krarup, B.; Magazzeni, D.; and Ridder, B.\n\n\n \n\n\n\n In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3565–3572, 2018. IEEE\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{buksz2018strategic,\r\n  title={Strategic-tactical planning for autonomous underwater vehicles over long horizons},\r\n  author={Buksz, Dorian and Cashmore, Michael and Krarup, Benjamin and Magazzeni, Daniele and Ridder, Bram},\r\n  booktitle={2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},\r\n  pages={3565--3572},\r\n  year={2018},\r\n  organization={IEEE}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Initial State Prediction in Planning.\n \n \n \n\n\n \n Cashmore, M.; Ridder, B.; Krivic, S.; and Piater, J.\n\n\n \n\n\n\n In A workshop at AAAI 2017, February 5, 2017, San Francisco, U.S.A. Knowledge-based techniques for problem solving and reasoning (KnowProS 2017), 2017. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2017initial,\r\n  title={Initial State Prediction in Planning},\r\n  author={Cashmore, Michael and Ridder, Bram and Krivic, Senka and Piater, Justus},\r\n  booktitle={A workshop at AAAI 2017, February 5, 2017, San Francisco, U.S.A. Knowledge-based techniques for problem solving and reasoning (KnowProS 2017)},\r\n  year={2017}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Opportunistic planning in autonomous underwater missions.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; and Ridder, B.\n\n\n \n\n\n\n IEEE Transactions on Automation Science and Engineering, 15(2): 519–530. 2017.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2017opportunistic,\r\n  title={Opportunistic planning in autonomous underwater missions},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram},\r\n  journal={IEEE Transactions on Automation Science and Engineering},\r\n  volume={15},\r\n  number={2},\r\n  pages={519--530},\r\n  year={2017},\r\n  publisher={IEEE}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Short-term human-robot interaction through conditional planning and execution.\n \n \n \n\n\n \n Sanelli, V.; Cashmore, M.; Magazzeni, D.; and Iocchi, L.\n\n\n \n\n\n\n . 2017.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{sanelli2017short,\r\n  title={Short-term human-robot interaction through conditional planning and execution},\r\n  author={Sanelli, Valerio and Cashmore, Michael and Magazzeni, Daniele and Iocchi, Luca},\r\n  year={2017},\r\n  publisher={AAAI Press}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Decreasing uncertainty in planning with state prediction.\n \n \n \n\n\n \n Krivic, S.; Cashmore, M.; Magazzeni, D.; Ridder, B.; Szedmak, S.; and Piater, J.\n\n\n \n\n\n\n In 2017. IJCAI\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{krivic2017decreasing,\r\n  title={Decreasing uncertainty in planning with state prediction},\r\n  author={Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Ridder, Bram and Szedmak, Sandor and Piater, Justus},\r\n  year={2017},\r\n  organization={IJCAI}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On-the-fly detection of novel objects in indoor environments.\n \n \n \n\n\n \n Langer, E.; Ridder, B.; Cashmore, M.; Magazzeni, D.; Zillich, M.; and Vincze, M.\n\n\n \n\n\n\n In 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO), pages 900–907, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{langer2017fly,\r\n  title={On-the-fly detection of novel objects in indoor environments},\r\n  author={Langer, Edith and Ridder, Bram and Cashmore, Michael and Magazzeni, Daniele and Zillich, Michael and Vincze, Markus},\r\n  booktitle={2017 IEEE International Conference on Robotics and Biomimetics (ROBIO)},\r\n  pages={900--907},\r\n  year={2017},\r\n  organization={IEEE}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A compilation of the full PDDL+ language into SMT.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; and Magazzeni, D.\n\n\n \n\n\n\n . 2016.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2016compilation,\r\n  title={A compilation of the full PDDL+ language into SMT},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele},\r\n  year={2016},\r\n  publisher={AAAI Press}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Strategic planning for autonomous systems over long horizons.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; and Ridder, B.\n\n\n \n\n\n\n In 2016. ICAPS\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2016strategic,\r\n  title={Strategic planning for autonomous systems over long horizons},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram},\r\n  year={2016},\r\n  organization={ICAPS}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Toward persistent autonomous intervention in a subsea panel.\n \n \n \n\n\n \n Palomeras Rovira, N.; Carrera Viñas, A.; Hurtós Vilarnau, N.; Karras, G. C; Bechlioulis, C. P; Cashmore, M.; Magazzeni, D.; Long, D.; Fox, M.; Kyriakopoulos, K.; and others\n\n\n \n\n\n\n © Autonomous Robots, 2016, vol. 40, núm. 7, p. 1279-1306. 2016.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{palomeras2016toward,\r\n  title={Toward persistent autonomous intervention in a subsea panel},\r\n  author={Palomeras Rovira, Narc{\\'\\i}s and Carrera Vi{\\~n}as, Arnau and Hurt{\\'o}s Vilarnau, Nat{\\`a}lia and Karras, George C and Bechlioulis, Charalampos P and Cashmore, Michael and Magazzeni, Daniele and Long, Derek and Fox, Maria and Kyriakopoulos, Kostas and others},\r\n  journal={{\\copyright} Autonomous Robots, 2016, vol. 40, n{\\'u}m. 7, p. 1279-1306},\r\n  year={2016},\r\n  publisher={Springer Verlag}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Factorised Contingency Planning.\n \n \n \n\n\n \n Ridder, B.; Cashmore, M.; Fox, M.; Long, D.; and Magazzeni, D.\n\n\n \n\n\n\n In Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016), pages 8–pages, 2016. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{ridder2016factorised,\r\n  title={Factorised Contingency Planning},\r\n  author={Ridder, Bram and Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele},\r\n  booktitle={Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016)},\r\n  pages={8--pages},\r\n  year={2016}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Initial State Prediction in Planning.\n \n \n \n\n\n \n Krivic, S.; Cashmore, M.; Ridder, B.; and Piater, J.\n\n\n \n\n\n\n In Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016), pages 5–pages, 2016. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{krivic2016initial,\r\n  title={Initial State Prediction in Planning},\r\n  author={Krivic, Senka and Cashmore, Michael and Ridder, Bram and Piater, Justus},\r\n  booktitle={Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016)},\r\n  pages={5--pages},\r\n  year={2016}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Opportunistic Planning for Increased Plan Utility.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; and Ridder, B.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016), pages 10–pages, 2016. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2016opportunistic,\r\n  title={Opportunistic Planning for Increased Plan Utility},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bernardus.},\r\n  booktitle={Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016)},\r\n  pages={10--pages},\r\n  year={2016}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Rosplan: Planning in the robot operating system.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; Ridder, B.; Carrera Viñas, A.; Palomeras Rovira, N.; Hurtós Vilarnau, N.; and Carreras Pérez, M.\n\n\n \n\n\n\n In © International Conference on Automated Planning and Scheduling (25th: 7-11 Juny 2015: Jerusalen, Israel). Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, p. 333-341, 2015. Association for the Advancement of Artificial Intelligence\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2015rosplan,\r\n  title={Rosplan: Planning in the robot operating system},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and Carrera Vi{\\~n}as, Arnau and Palomeras Rovira, Narc{\\'\\i}s and Hurt{\\'o}s Vilarnau, Nat{\\`a}lia and Carreras P{\\'e}rez, Marc},\r\n  booktitle={{\\copyright} International Conference on Automated Planning and Scheduling (25th: 7-11 Juny 2015: Jerusalen, Israel). Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, p. 333-341},\r\n  year={2015},\r\n  organization={Association for the Advancement of Artificial Intelligence}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Artificial Intelligence Planning for AUV Mission Control.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; and Ridder, B.\n\n\n \n\n\n\n In Proceedings of the IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV 2015), volume 48, pages 262–267, 2015. Elsevier\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2015artificial,\r\n  title={Artificial Intelligence Planning for AUV Mission Control},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram},\r\n  booktitle={Proceedings of the IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV 2015)},\r\n  volume={48},\r\n  number={2},\r\n  pages={262--267},\r\n  year={2015},\r\n  organization={Elsevier}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Dynamically extending planning models using an ontology.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D.; Ridder, B.; De Carolis, V.; Lane, D.; and Maurelli, F.\n\n\n \n\n\n\n In 2015. ICAPS\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2015dynamically,\r\n  title={Dynamically extending planning models using an ontology},\r\n  author={Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco},\r\n  year={2015},\r\n  organization={ICAPS}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n AUV Mission Control Via Temporal Planning.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Tom, L.; Long, D.; Magazzeni; and Daniele\n\n\n \n\n\n\n In 2014 IEEE International Conference on Robotics and Automation (ICRA 2014), 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2014auv,\r\n  title={AUV Mission Control Via Temporal Planning},\r\n  author={Cashmore, Michael and Fox, Maria and Tom, Larkworthy and Long, Derek and Magazzeni and Daniele},\r\n  booktitle={2014 IEEE International Conference on Robotics and Automation (ICRA 2014)},\r\n  year={2014}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On AUV actions to correctly label world information.\n \n \n \n\n\n \n Maurelli, F.; Saigol, Z.; Lane, D.; Cashmore, M.; Ridder, B.; and Magazzeni, D.\n\n\n \n\n\n\n In Proceedings of the MTS/IEEE Oceans 2014 Conference, St-Johns (OCEANS 2014), 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{maurelli2014auv,\r\n  title={On AUV actions to correctly label world information},\r\n  author={Maurelli, Francesco and Saigol, Zane and Lane, David and Cashmore, Michael and Ridder, Bram and Magazzeni, Daniele},\r\n  booktitle={Proceedings of the MTS/IEEE Oceans 2014 Conference, St-Johns (OCEANS 2014)},\r\n  year={2014}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Encoding Reachability with Quantification.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; and Giunchiglia, E.\n\n\n \n\n\n\n In 1st Workshop on Quantification, Proceedings of the Vienna Summer of Logic 2014 (QUANTIFY 2014), 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2014encoding,\r\n  title={Encoding Reachability with Quantification},\r\n  author={Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico},\r\n  booktitle={1st Workshop on Quantification, Proceedings of the Vienna Summer of Logic 2014 (QUANTIFY 2014)},\r\n  year={2014}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Partially Grounded Planning as Quantified Boolean Formula.\n \n \n \n\n\n \n Cashmore, M.; and Fox, M.\n\n\n \n\n\n\n In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), volume 209, pages 26–32, 2013. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2013partially,\r\n  title={Partially Grounded Planning as Quantified Boolean Formula},\r\n  author={Cashmore, Michael and Fox, Maria},\r\n  booktitle={Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)},\r\n  volume={209},\r\n  pages={26--32},\r\n  year={2013}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Planning Inspection Tasks for AUVs.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; Larkworthy, T.; Long, D.; and Magazzeni, D.\n\n\n \n\n\n\n In OCEANS 2013, 2013. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2013planning,\r\n  title={Planning Inspection Tasks for AUVs},\r\n  author={Cashmore, Michael and Fox, Maria and Larkworthy, Tom and Long, Derek and Magazzeni, Daniele},\r\n  booktitle={OCEANS 2013},\r\n  year={2013}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Planning as Quantified Boolean Formula.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; and Giunchiglia, E.\n\n\n \n\n\n\n In ECAI 2012, pages 217–222, 2012. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2012planning,\r\n  title={Planning as Quantified Boolean Formula},\r\n  author={Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico},\r\n  booktitle={ECAI 2012},\r\n  pages={217--222},\r\n  year={2012}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Partially Grounded Planning as Quantified Boolean Formula.\n \n \n \n\n\n \n Cashmore, M.; and Fox, M.\n\n\n \n\n\n\n In Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12), 2012. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2012partially,\r\n  title={Partially Grounded Planning as Quantified Boolean Formula},\r\n  author={Cashmore, Michael and Fox, Maria},\r\n  booktitle={Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)},\r\n  year={2012}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Planning as Quantified Boolean Formula.\n \n \n \n\n\n \n Cashmore, M.; Fox, M.; and Giunchiglia, E.\n\n\n \n\n\n\n In Proceedings of the 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG'11), pages 16–22, 2011. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cashmore2011planning,\r\n  title={Planning as Quantified Boolean Formula},\r\n  author={Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico},\r\n  booktitle={Proceedings of the 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG'11)},\r\n  pages={16--22},\r\n  year={2011}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Planning as QBF.\n \n \n \n\n\n \n Cashmore, M.; and Fox, M.\n\n\n \n\n\n\n . 2010.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cashmore2010planning,\r\n  title={Planning as QBF},\r\n  author={Cashmore, Michael and Fox, Maria},\r\n  year={2010}\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);