Here you can find a complete list of our publications. Please note, the below pre-prints are provided for personal use only.
Planning for Hybrid Systems via Satisfiability Modulo Theories. Michael Cashmore, Daniele Magazzeni and Parisa Zehtabi; Journal of Artificial Intelligence Research (JAIR), , (to appear), 2020.
@article{jariSMT_2020,
author = "Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa",
title = "{Planning for Hybrid Systems via Satisfiability Modulo Theories}",
journal = "Journal of Artificial Intelligence Research (JAIR)",
pages = "(to appear)",
year = "2020"
}
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. Rebecca Eiffer, Michael Cashmore, Joerg Hoffmann, Daniele Magazzeni and Marcel Steinmetz; Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2020), 2020.
@inproceedings{Eiffer_AAAI2020,
author = "Eiffer, Rebecca and Cashmore, Michael and Hoffmann, Joerg and Magazzeni, Daniele and Steinmetz, Marcel",
title = "{A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning}",
booktitle = "Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2020)",
year = "2020",
publisher = "AAAI",
address = "",
pages = "",
isbn = "",
doi = ""
}
Let’s Learn their Language? A Case for Planning with Automata-Network Languages from Model Checking. Joerg Hoffmann, Holger Hermanns, Michela Klauck, Marcel Steinmetz, Erez Karpas and Daniele Magazzeni; Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2020), 2020.
@inproceedings{Hoffmann_AAAI2020,
author = "Hoffmann, Joerg and Hermanns, Holger and Klauck, Michela and Steinmetz, Marcel and Karpas, Erez and Magazzeni, Daniele",
title = "{Let's Learn their Language? A Case for Planning with Automata-Network Languages from Model Checking}",
booktitle = "Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2020)",
year = "2020",
publisher = "AAAI",
address = "",
pages = "",
isbn = "",
doi = ""
}
Automated Planning for Robotics. Erez Karpas and Daniele Magazzeni; Annual Review of Control, Robotics, and Autonomous Systems, 2020.
@article{Karpas_2020,
author = "Karpas, Erez and Magazzeni, Daniele",
title = "{Automated Planning for Robotics}",
journal = "Annual Review of Control, Robotics, and Autonomous Systems",
year = "2020",
doi = "10.1146/annurev-control-082619-100135"
}
An Introduction to the Planning Domain Definition Language. Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni and Christian Muise; Synthesis Lectures on Artificial Intelligence and Machine Learning, 2019.
@book{PDDLbook2019,
author = "Haslum, Patrik and Lipovetzky, Nir and Magazzeni, Daniele and Muise, Christian",
title = "{An Introduction to the Planning Domain Definition Language}",
booktitle = "Synthesis Lectures on Artificial Intelligence and Machine Learning",
year = "2019",
publisher = "Morgan \& Claypool Publishers 2019",
address = "",
pages = "",
isbn = "",
doi = "10.2200/S00900ED2V01Y201902AIM042"
}
Towards Explainable Planning as a Service. Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni and David Smith; ICAPS-19 Workshop on Explainable Planning, 2019.
@inproceedings{Cashmore_icapsxai2019,
author = "Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David",
title = "{Towards Explainable Planning as a Service}",
booktitle = "ICAPS-19 Workshop on Explainable Planning",
year = "2019"
}
Model-Based Contrastive Explanations for Explainable Planning. Benjamin Krarup, Michael Cashmore, Daniele Magazzeni and Tim Miller; ICAPS-19 Workshop on Explainable Planning, 2019.
@inproceedings{Krarup_icaps2019,
author = "Krarup, Benjamin and Cashmore, Michael and Magazzeni, Daniele and Miller, Tim",
title = "{Model-Based Contrastive Explanations for Explainable Planning}",
booktitle = "ICAPS-19 Workshop on Explainable Planning",
year = "2019"
}
Towards an Argumentation-based Approach to Explainable Planning. Anna Collins, Daniele Magazzeni and Simon Parsons; ICAPS-19 Workshop on Explainable Planning, 2019.
@inproceedings{Collins_icaps2019,
author = "Collins, Anna and Magazzeni, Daniele and Parsons, Simon",
title = "{Towards an Argumentation-based Approach to Explainable Planning}",
booktitle = "ICAPS-19 Workshop on Explainable Planning",
year = "2019"
}
Explaining the Space of Plans through Plan-Property Dependencies. Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni and Marcel Steinmetz; ICAPS-19 Workshop on Explainable Planning, 2019.
@inproceedings{Eifler_icaps2019,
author = {Eifler, Rebecca and Cashmore, Michael and Hoffmann, J\"org and Magazzeni, Daniele and Steinmetz, Marcel},
title = "{Explaining the Space of Plans through Plan-Property Dependencies}",
booktitle = "ICAPS-19 Workshop on Explainable Planning",
year = "2019"
}
Probabilistic Planning for Robotics with ROSPlan. Gerard Canal, Michael Cashmore, Senka Krivić, Guillem Alenyà, Daniele Magazzeni and Carme Torras; Towards Autonomous Robotic Systems, pp. 236-250, 2019.
@inproceedings{Canal_taros2019,
author = "Canal, Gerard and Cashmore, Michael and Krivi\'{c}, Senka and Alenyà, Guillem and Magazzeni, Daniele and Torras, Carme",
title = "{Probabilistic Planning for Robotics with ROSPlan}",
booktitle = "Towards Autonomous Robotic Systems",
year = "2019",
publisher = "Springer International Publishing",
address = "Cham",
pages = "236--250",
isbn = "978-3-030-23807-0",
doi = "10.1007/978-3-030-23807-0\_20"
}
Robustness Envelopes for Temporal Plans. Michael Cashmore, Alessandro Cimatti, Andrea Micheli, Daniele Magazzeni and Parisa Zehtabi; Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019), 2019.
@inproceedings{Cashmore_aaai2019,
author = "Cashmore, Michael and Cimatti, Alessandro and Micheli, Andrea and Magazzeni, Daniele and Zehtabi, Parisa",
title = "{Robustness Envelopes for Temporal Plans}",
booktitle = "Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019)",
year = "2019"
}
Replanning for Situated Robots. Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni and Wheeler Ruml; Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019.
@inproceedings{Cashmore_icaps2019,
author = "Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler",
title = "{Replanning for Situated Robots}",
booktitle = "Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019)",
year = "2019"
}
Temporal Planning as Refinement-Based Model Checking. Alex Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus and Andreas Podelski; Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019.
@inproceedings{Heinz_icaps2019,
author = "Heinz, Alex and Wehrle, Martin and Bogomolov, Sergiy and Magazzeni, Daniele and Greitschus, Marius and Podelski, Andreas",
title = "{Temporal Planning as Refinement-Based Model Checking}",
booktitle = "Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019)",
year = "2019"
}
Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni and Erion Plaku; IEEE Robotics and Automation Letters, 3:3473-3480, 2018.
@article{Edelkamp_ieee2018,
author = "Edelkamp, Stefan and Lahijanian, Morteza and Magazzeni, Daniele and Plaku, Erion",
title = "{Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows}",
journal = "{IEEE} Robotics and Automation Letters",
volume = "3",
number = "4",
pages = "3473--3480",
year = "2018",
url = "https://doi.org/10.1109/LRA.2018.2853642",
doi = "10.1109/LRA.2018.2853642"
}
Towards Providing Explanations for AI Planner Decisions. Rita Borgo, Michael Cashmore and Daniele Magazzeni; CoRR, abs/1810.06338, 2018.
@article{Borgo_corr2018,
author = "Borgo, Rita and Cashmore, Michael and Magazzeni, Daniele",
title = "{Towards Providing Explanations for {AI} Planner Decisions}",
journal = "CoRR",
volume = "abs/1810.06338",
year = "2018",
url = "http://arxiv.org/abs/1810.06338"
}
Explainable Security. Luca Viganò and Daniele Magazzeni; CoRR, abs/1807.04178, 2018.
@article{Vigano_corr2018,
author = "Vigan{\`{o}}, Luca and Magazzeni, Daniele",
title = "{Explainable Security}",
journal = "CoRR",
volume = "abs/1807.04178",
year = "2018",
url = "http://arxiv.org/abs/1807.04178"
}
Temporal Planning while the Clock Ticks. Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni and Wheeler Ruml; Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, pp. 39-46, 2018.
@inproceedings{Cashmore_icaps2018,
author = "Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler",
title = "{Temporal Planning while the Clock Ticks}",
booktitle = "Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, {ICAPS} 2018",
pages = "39--46",
year = "2018",
url = "https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17724"
}
Planning and Operations Research (Dagstuhl Seminar 18071). J. Christopher Beck, Daniele Magazzeni, Gabriele Röger and Willem-Jan van Hoeve; Dagstuhl Reports, 8:26-63, 2018.
@article{Magazzeni_dagstuhlreports2019,
author = {Beck, J. Christopher and Magazzeni, Daniele and R{\"{o}}ger, Gabriele and van Hoeve, Willem{-}Jan},
title = "{Planning and Operations Research (Dagstuhl Seminar 18071)}",
journal = "Dagstuhl Reports",
volume = "8",
number = "2",
pages = "26--63",
year = "2018",
url = "https://doi.org/10.4230/DagRep.8.2.26",
doi = "10.4230/DagRep.8.2.26"
}
Opportunistic Planning in Autonomous Underwater Missions. Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni and Bram Ridder; IEEE Trans. Automation Science and Engineering, 15:519-530, 2018.
@article{Cashmore_ieee2018,
author = "Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram",
title = "{Opportunistic Planning in Autonomous Underwater Missions}",
journal = "{IEEE} Trans. Automation Science and Engineering",
volume = "15",
number = "2",
pages = "519--530",
year = "2018",
url = "https://doi.org/10.1109/TASE.2016.2636662",
doi = "10.1109/TASE.2016.2636662"
}
Explaining Rebel Behavior in Goal Reasoning Agents. Dustin Dannenhauer, Michael Floyd, Daniele Magazzeni and David Aha; Proceedings of ICAPS-18 Workshop on Explainable Planning, 2018.
@inproceedings{Dannenhauer_icaps2019,
author = "Dannenhauer, Dustin and Floyd, Michael and Magazzeni, Daniele and Aha, David",
title = "{Explaining Rebel Behavior in Goal Reasoning Agents}",
booktitle = "Proceedings of ICAPS-18 Workshop on Explainable Planning",
year = "2018"
}
Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni and Bram Ridder; 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018, pp. 3565-3572, 2018.
@inproceedings{Buksz_iros2018,
author = "Buksz, Dorian and Cashmore, Michael and Krarup, Benjamin and Magazzeni, Daniele and Ridder, Bram",
title = "{Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons}",
booktitle = "2018 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018",
pages = "3565--3572",
year = "2018",
url = "https://doi.org/10.1109/IROS.2018.8594347",
doi = "10.1109/IROS.2018.8594347"
}
Situated Planning for Execution Under Temporal Constraints. Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni and Wheeler Ruml; 2018 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018., 2018.
@inproceedings{Cashmore_aaai2018,
author = "Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler",
title = "{Situated Planning for Execution Under Temporal Constraints}",
booktitle = "2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018.",
year = "2018",
url = "https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17452"
}
User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges. Richard G. Freedman, Tathagata Chakraborti, Kartik Talamadupula, Daniele Magazzeni and Jeremy D. Frank; 2018 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018., 2018.
@inproceedings{Freedman_aaai2018,
author = "Freedman, Richard G. and Chakraborti, Tathagata and Talamadupula, Kartik and Magazzeni, Daniele and Frank, Jeremy D.",
title = "{User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges}",
booktitle = "2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018.",
year = "2018",
url = "https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17520"
}
PDDL+ Planning with Temporal Pattern Databases. Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni and Fabio Mercorio; The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, 2017.
@inproceedings{Piotrowski_aaai2019,
author = "Piotrowski, Wiktor Mateusz and Fox, Maria and Long, Derek and Magazzeni, Daniele and Mercorio, Fabio",
title = "{{PDDL+} Planning with Temporal Pattern Databases}",
booktitle = "The Workshops of the The Thirty-First {AAAI} Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, {USA}",
year = "2017",
url = "http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15193"
}
Landmarks for Numeric Planning Problems. Enrico Scala, Patrik Haslum, Daniele Magazzeni and Sylvie Thiébaux; Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4384-4390, 2017.
@inproceedings{Scala_ijcai2017,
author = "Scala, Enrico and Haslum, Patrik and Magazzeni, Daniele and Thi{\'{e}}baux, Sylvie",
title = "{Landmarks for Numeric Planning Problems}",
booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
pages = "4384--4390",
year = "2017",
url = "https://doi.org/10.24963/ijcai.2017/612",
doi = "10.24963/ijcai.2017/612"
}
Validation and Verification of Smart Contracts: A Research Agenda. Daniele Magazzeni, Peter McBurney and William Nash; IEEE Computer, 50:50-57, 2017.
@article{Magazzeni_ieee_2017,
author = "Magazzeni, Daniele and McBurney, Peter and Nash, William",
title = "{Validation and Verification of Smart Contracts: {A} Research Agenda}",
journal = "{IEEE} Computer",
volume = "50",
number = "9",
pages = "50--57",
year = "2017",
url = "https://doi.org/10.1109/MC.2017.3571045",
doi = "10.1109/MC.2017.3571045"
}
CASP Solutions for Planning in Hybrid Domains. Marcello Balduccini, Daniele Magazzeni, Marco Maratea and Emily Leblanc; CoRR, abs/1704.03574, 2017.
@article{Balduccini_corr2017,
author = "Balduccini, Marcello and Magazzeni, Daniele and Maratea, Marco and Leblanc, Emily",
title = "{{CASP} Solutions for Planning in Hybrid Domains}",
journal = "CoRR",
volume = "abs/1704.03574",
year = "2017",
url = "http://arxiv.org/abs/1704.03574"
}
Explainable Planning. Maria Fox, Derek Long and Daniele Magazzeni; CoRR, abs/1709.10256, 2017.
@article{Fox_corr2017,
author = "Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Explainable Planning}",
journal = "CoRR",
volume = "abs/1709.10256",
year = "2017",
url = "http://arxiv.org/abs/1709.10256"
}
Decreasing Uncertainty in Planning with State Prediction. Senka Krivić, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák and Justus H. Piater; Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 2032-2038, 2017.
@inproceedings{Krivic_ijcai2017,
author = "Krivi\'c, Senka and Cashmore, Michael and Magazzeni, Daniele and Ridder, Bram and Szedm{\'{a}}k, S{\'{a}}ndor and Piater, Justus H.",
title = "{Decreasing Uncertainty in Planning with State Prediction}",
booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
pages = "2032--2038",
year = "2017",
url = "https://doi.org/10.24963/ijcai.2017/282",
doi = "10.24963/ijcai.2017/282"
}
CASP solutions for planning in hybrid domains. Marcello Balduccini, Daniele Magazzeni, Marco Maratea and Emily Leblanc; TPLP, 17:591-633, 2017.
@article{Balduccini_tplp_2017,
author = "Balduccini, Marcello and Magazzeni, Daniele and Maratea, Marco and Leblanc, Emily",
title = "{{CASP} solutions for planning in hybrid domains}",
journal = "{TPLP}",
volume = "17",
number = "4",
pages = "591--633",
year = "2017",
url = "https://doi.org/10.1017/S1471068417000187",
doi = "10.1017/S1471068417000187"
}
Short-Term Human-Robot Interaction through Conditional Planning and Execution. Valerio Sanelli, Michael Cashmore, Daniele Magazzeni and Luca Iocchi; Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017., pp. 540-548, 2017.
@inproceedings{Sanelli_icaps2017,
author = "Sanelli, Valerio and Cashmore, Michael and Magazzeni, Daniele and Iocchi, Luca",
title = "{Short-Term Human-Robot Interaction through Conditional Planning and Execution}",
booktitle = "Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.",
pages = "540--548",
year = "2017",
url = "https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15750"
}
Initial State Prediction in Planning. Senka Krivić, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák and Justus H. Piater; The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, 2017.
@inproceedings{Krivic_aaai2017,
author = "Krivi\'c, Senka and Cashmore, Michael and Ridder, Bram and Magazzeni, Daniele and Szedm{\'{a}}k, S{\'{a}}ndor and Piater, Justus H.",
title = "{Initial State Prediction in Planning}",
booktitle = "The Workshops of the The Thirty-First {AAAI} Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, {USA}",
year = "2017",
url = "http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15157"
}
On-the-fly detection of novel objects in indoor environments. Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich and Markus Vincze; 2017 IEEE International Conference on Robotics and Biomimetics, ROBIO 2017, Macau, China, December 5-8, 2017, pp. 900-907, 2017.
@inproceedings{Langer_ieee2017,
author = "Langer, Edith and Ridder, Bram and Cashmore, Michael and Magazzeni, Daniele and Zillich, Michael and Vincze, Markus",
title = "{On-the-fly detection of novel objects in indoor environments}",
booktitle = "2017 {IEEE} International Conference on Robotics and Biomimetics, {ROBIO} 2017, Macau, China, December 5-8, 2017",
pages = "900--907",
year = "2017",
url = "https://doi.org/10.1109/ROBIO.2017.8324532",
doi = "10.1109/ROBIO.2017.8324532"
}
Planning and Robotics (Dagstuhl Seminar 17031). Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams and Andrea Orlandini; Dagstuhl Reports, 7:32-73, 2017.
@article{Ghallab_dagstuhlreports2017,
author = "Ghallab, Malik and Hawes, Nick and Magazzeni, Daniele and Williams, Brian C. and Orlandini, Andrea",
title = "{Planning and Robotics (Dagstuhl Seminar 17031)}",
journal = "Dagstuhl Reports",
volume = "7",
number = "1",
pages = "32--73",
year = "2017",
url = "https://doi.org/10.4230/DagRep.7.1.32",
doi = "10.4230/DagRep.7.1.32"
}
Planning Using Actions with Control Parameters. Emre Savas, Maria Fox, Derek Long and Daniele Magazzeni; ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1185-1193, 2016.
@inproceedings{Savas_ecai2016,
author = "Savas, Emre and Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Planning Using Actions with Control Parameters}",
booktitle = "{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)",
pages = "1185--1193",
year = "2016",
url = "https://doi.org/10.3233/978-1-61499-672-9-1185",
doi = "10.3233/978-1-61499-672-9-1185"
}
Heuristic Planning for PDDL+ Domains. Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni and Fabio Mercorio; Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 3213-3219, 2016.
@inproceedings{Piotrowski_ijcai2016,
author = "Piotrowski, Wiktor Mateusz and Fox, Maria and Long, Derek and Magazzeni, Daniele and Mercorio, Fabio",
title = "{Heuristic Planning for {PDDL+} Domains}",
booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016",
pages = "3213--3219",
year = "2016",
url = "http://www.ijcai.org/Abstract/16/455"
}
A Compilation of the Full PDDL+ Language into SMT. Michael Cashmore, Maria Fox, Derek Long and Daniele Magazzeni; Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016., pp. 79-87, 2016.
@inproceedings{Cashmore_icaps2016,
author = "Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{A Compilation of the Full {PDDL+} Language into {SMT}}",
booktitle = "Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016.",
pages = "79--87",
year = "2016",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101"
}
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox and Chris Dent; Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016., pp. 421-430, 2016.
@inproceedings{Piacentini_icaps2016,
author = "Piacentini, Chiara and Magazzeni, Daniele and Long, Derek and Fox, Maria and Dent, Chris",
title = "{Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions}",
booktitle = "Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016.",
pages = "421--430",
year = "2016",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12992"
}
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa and Thomas Leo McCluskey; Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pp. 3188-3194, 2016.
@inproceedings{Vallati_aaai2016,
author = "Vallati, Mauro and Magazzeni, Daniele and Schutter, Bart De and Chrpa, Luk{\'{a}}s and McCluskey, Thomas Leo",
title = "{Efficient Macroscopic Urban Traffic Models for Reducing Congestion: {A} {PDDL+} Planning Approach}",
booktitle = "Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}",
pages = "3188--3194",
year = "2016",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11985"
}
Toward persistent autonomous intervention in a subsea panel. Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi and Marc Carreras; Auton. Robots, 40:1279-1306, 2016.
@article{Palomeras_autonrobots2016,
author = "Palomeras, Narc{\'{i}}s and Carrera, Arnau and Hurt{\'{o}}s, 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 J. and Kormushev, Petar and Salvi, Joaquim and Carreras, Marc",
title = "{Toward persistent autonomous intervention in a subsea panel}",
journal = "Auton. Robots",
volume = "40",
number = "7",
pages = "1279--1306",
year = "2016",
url = "https://doi.org/10.1007/s10514-015-9511-7",
doi = "10.1007/s10514-015-9511-7"
}
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli and Martin Wehrle; Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015., pp. 42-46, 2015.
@inproceedings{Bogomolov_icaps2015,
author = "Bogomolov, Sergiy and Magazzeni, Daniele and Minopoli, Stefano and Wehrle, Martin",
title = "{{PDDL+} Planning with Hybrid Automata: Foundations of Translating Must Behavior}",
booktitle = "Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11, 2015.",
pages = "42--46",
year = "2015",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10606"
}
ROSPlan: Planning in the Robot Operating System. Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós and Marc Carreras; Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015., pp. 333-341, 2015.
@inproceedings{Cashmore_icaps2015,
author = "Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and Carrera, Arnau and Palomeras, Narc{\'{i}}s and Hurt{\'{o}}s, Nat{\`{a}}lia and Carreras, Marc",
title = "{ROSPlan: Planning in the Robot Operating System}",
booktitle = "Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11, 2015.",
pages = "333--341",
year = "2015",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10619"
}
Planning as Model Checking in Hybrid Domains. Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski and Martin Wehrle; Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp. 2228-2234, 2014.
@inproceedings{Bogomolov_aaai2014,
author = "Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin",
title = "{Planning as Model Checking in Hybrid Domains}",
booktitle = "Proceedings of the 28th {AAAI} Conference on Artificial Intelligence",
pages = "2228--2234",
year = "2014",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8494"
}
Policy learning for autonomous feature tracking. Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long and Kanna Rajan; Auton. Robots, 37:47-69, 2014.
@article{Magazzeni_autonrobots2014,
author = "Magazzeni, Daniele and Py, Fr{\'{e}}d{\'{e}}ric and Fox, Maria and Long, Derek and Rajan, Kanna",
title = "{Policy learning for autonomous feature tracking}",
journal = "Auton. Robots",
volume = "37",
number = "1",
pages = "47--69",
year = "2014",
url = "https://doi.org/10.1007/s10514-013-9375-7",
doi = "10.1007/s10514-013-9375-7"
}
AUV mission control via temporal planning. Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long and Daniele Magazzeni; 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 6535-6541, 2014.
@inproceedings{Cashmore_ieee2014,
author = "Cashmore, Michael and Fox, Maria and Larkworthy, Tom and Long, Derek and Magazzeni, Daniele",
title = "{{AUV} mission control via temporal planning}",
booktitle = "2014 {IEEE} International Conference on Robotics and Automation, {ICRA} 2014, Hong Kong, China, May 31 - June 7, 2014",
pages = "6535--6541",
year = "2014",
url = "https://doi.org/10.1109/ICRA.2014.6907823",
doi = "10.1109/ICRA.2014.6907823"
}
Challenge: Modelling Unit Commitment as a Planning Problem. Joshua Campion, Chris Dent, Maria Fox, Derek Long and Daniele Magazzeni; Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013, 2013.
@inproceedings{Campion_aaai2013,
author = "Campion, Joshua and Dent, Chris and Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Challenge: Modelling Unit Commitment as a Planning Problem}",
booktitle = "Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013",
year = "2013",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6041"
}
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti and Enrico Tronci; Eur. J. Control, 19:14-36, 2013.
@article{Penna_eurjcontrol2013,
author = "{Della Penna}, Giuseppe and Intrigila, Benedetto and Magazzeni, Daniele and Melatti, Igor and Tronci, Enrico",
title = "{CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems}",
journal = "Eur. J. Control",
volume = "19",
number = "1",
pages = "14--36",
year = "2013",
url = "https://doi.org/10.1016/j.ejcon.2013.02.001",
doi = "10.1016/j.ejcon.2013.02.001"
}
Plan-Based Policy-Learning for Autonomous Feature Tracking. Maria Fox, Derek Long and Daniele Magazzeni; Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, 2012.
@inproceedings{FoxL_icaps2012,
author = "Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Plan-Based Policy-Learning for Autonomous Feature Tracking}",
booktitle = "Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, {ICAPS} 2012",
year = "2012",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4694"
}
A universal planning system for hybrid domains. Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio; Appl. Intell., 36:932-959, 2012.
@article{Penna_applintell2012,
author = "{Della Penna}, Giuseppe and Magazzeni, Daniele and Mercorio, Fabio",
title = "{A universal planning system for hybrid domains}",
journal = "Appl. Intell.",
volume = "36",
number = "4",
pages = "932--959",
year = "2012",
url = "https://doi.org/10.1007/s10489-011-0306-z",
doi = "10.1007/s10489-011-0306-z"
}
Plan-based Policies for Efficient Multiple Battery Load Management. Maria Fox, Derek Long and Daniele Magazzeni; J. Artif. Intell. Res., 44:335-382, 2012.
@article{Fox_jartifintellres2012,
author = "Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Plan-based Policies for Efficient Multiple Battery Load Management}",
journal = "J. Artif. Intell. Res.",
volume = "44",
pages = "335--382",
year = "2012",
url = "https://doi.org/10.1613/jair.3643",
doi = "10.1613/jair.3643"
}
A framework for the automatic synthesis of hybrid fuzzy/numerical controllers. Daniele Magazzeni; Appl. Soft Comput., 11:276-284, 2011.
@article{Magazzeni_softcom2011,
author = "Magazzeni, Daniele",
title = "{A framework for the automatic synthesis of hybrid fuzzy/numerical controllers}",
journal = "Appl. Soft Comput.",
volume = "11",
number = "1",
pages = "276--284",
year = "2011",
url = "https://doi.org/10.1016/j.asoc.2009.11.018",
doi = "10.1016/j.asoc.2009.11.018"
}
Automatic Construction of Efficient Multiple Battery Usage Policies. Maria Fox, Derek Long and Daniele Magazzeni; Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011, 2011.
@inproceedings{Fox_icaps2011,
author = "Fox, Maria and Long, Derek and Magazzeni, Daniele",
title = "{Automatic Construction of Efficient Multiple Battery Usage Policies}",
booktitle = "Proceedings of the 21st International Conference on Automated Planning and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011",
year = "2011",
url = "http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2683"
}
A PDDL+ Benchmark Problem: The Batch Chemical Plant. Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio; Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010, pp. 222-225, 2010.
@inproceedings{Penna_icaps2010,
author = "{Della Penna}, Giuseppe and Intrigila, Benedetto and Magazzeni, Daniele and Mercorio, Fabio",
title = "{A {PDDL+} Benchmark Problem: The Batch Chemical Plant}",
booktitle = "Proceedings of the 20th International Conference on Automated Planning and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16, 2010",
pages = "222--225",
year = "2010",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1418"
}
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio and Benedetto Intrigila; Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009, 2009.
@inproceedings{Penna_icaps2009,
author = "{Della Penna}, Giuseppe and Magazzeni, Daniele and Mercorio, Fabio and Intrigila, Benedetto",
title = "{UPMurphi: {A} Tool for Universal Planning on {PDDL+} Problems}",
booktitle = "Proceedings of the 19th International Conference on Automated Planning and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23, 2009",
year = "2009",
url = "http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/707"
}