Curriculum Vitae Dr Daniele Magazzeni

Transcription

1 Curriculum Vitae Dr Daniele Magazzeni Current Position Position: Office Address: Lecturer Department of Informatics King s College London Room S6.19, Department of Informatics, King s College London. Strand Building, London WC2R 2LS, UK. Telephone: +44 (0) [email protected] Skype Contact: dmagazzeni Web: Employment History 09/ present Founder and Member of Board of Directors of PlanAct Ltd., UK. 06/ present Lecturer at the Department of Informatics. King s College London,UK. 11/ /2013 Research Associate at the Department of Informatics. King s College London,UK. 09/ /2011 Research Fellow at the Department of Computer and Information Science. University of Strathclyde, Glasgow, UK. 08/ /2011 Research Fellow at the Department of Sciences. University of Chieti-Pescara, Italy. Education 08/2014 Completition of the Enhancing Academic Practice (EAP) module, King s College London, UK. 03/2009 PhD Degree in Computer Science. Department of Computer Science. University of L Aquila, Italy. Thesis title: Explicit Model Checking Techniques applied to Control and Planning Problems 10/2005 Degree in Computer Science with the maximum score cum laude Faculty of Sciences. University of L Aquila, Italy. Scholarships 11/ /2008 Ph.D. scholarship funded by the Italian Government.

2 Research Interests Artificial Intelligence: domain-independent planning, temporal-continuous planning, planning in mixed discrete-continuous domains, planning under uncertainty, policy learning, hybrid control, reinforcement learning, heuristic search, geometric reasoning, path planning, soft computing, fuzzy logic, genetic algorithms Formal Methods: model checking, hardware/software verification, control systems, decision diagrams, graph algorithms Intelligent Information Acquisition: information extraction, spatial relations, visual reasoning, spatial/temporal reasoning Awards Best Paper Award for the paper Automatic Construction of Efficient Multiple Battery Usage Policies at ICAPS 2011 in Freiburg, Germany (with Maria Fox and Derek Long) Italian young researchers award: given by Gruppo Nazionale per il Calcolo Scientifico (GNCS). Research Projects Co-investigator - EU Project: PANDORA Co-investigator - EU Project: SQUIRREL EPSRC Project (EP/G ): Automated Modelling and Reformulation in Planning Research collaboration with Monterey Bay Aquarium Research Institute (MBARI) Refereeing for research funding organizations Netherlands Organisation for Scientific Research (NWO): Referee for TOP grant applications. Professional Activities Editing of Scientific Journals Co-Editor-in-Chief of AI Communications Associate Editor of AI Communications ( ) Event Organisation Conference chair of ICAPS 2016, London, UK. Co-Chair of the AAAI workshop on Planning for Hybrid Systems. Phoenix, Arizona USA. Student Abstract and Poster Program Chair of AAAI-16. Phoenix, Arizona USA. Co-chair of MOCHAP-15 (the ICAPS 2015 Workshop on Model Checking and Automated Planning), Jerusalem, Israel, June Workshop chair of ICAPS 2015, Jerusalem. Student Abstract and Poster Program Chair of AAAI-15, Texas, USA. Co-Chair of the 6th Italian Workshop on Planning and Scheduling, Ferrara, Italy, September

3 Proposer and Coordinator of the Dagstuhl Seminar on Automated Planning and Model Checking. Germany November Co-chair of MOCHAP 14 (the ICAPS 2014 Workshop on Model Checking and Automated Planning), New Hampshire, US, June Workshops PC member of Robotics Science and Systems (RSS 2014), Berkeley, US, July Chair of the 5th Italian Workshop on Planning and Scheduling, Turin, Italy, December Co-chair of the ICAPS 2013 Workshop on Planning in Continuous Domains, Rome, Italy, June Programme Committee Membership Senior PC (SPC) member of International Joint Conferences on Artificial Intelligence (IJCAI 2016) PC member of 30th AAAI Conference on Artificial Intelligence (AAAI-16) PC member of 19th International Conference on Hybrid Systems: Computation & Control (HSCC 2016) PC member of 29th International FLAIRS Conference (FLAIRS-29) PC member of 29th AAAI Conference on Artificial Intelligence (AAAI-15) PC member of International Joint Conferences on Artificial Intelligence (IJCAI 2015) PC member of 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) PC member of the 28th Australasian Joint Conference on Artificial Intelligence (AI 2015) PC member of the 22nd International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion (RCRA-2015) PC member of the 2nd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2015) PC member of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR-15 - within CAV 2015) PC member of 3rd Workshop on Planning and Robotics (PlanRob 2015) PC chair of 2nd ICAPS Wrokshop on Model Checking and Automated Planning (MOCHAP-15) PC member of 21st European Conference on Artificial Intelligence (ECAI 2014) PC member of 32nd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2014) PC member of AAAI 2014 Fall Symposium on Knowledge, Skill, and Behavior Transfer in Autonomous Robots (KSBT 2014) PC member of 2nd Workshop on Planning and Robotics (PlanRob 2014) PC member of 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) PC chair of 1st ICAPS Wrokshop on Model Checking and Automated Planning (MOCHAP-14) PC member of ICRA Workshop on Persistent Autonomy for Marine Robotics (PAMR-14) PC member of the 2013 IJCAI Video Competition PC member of 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) PC member of 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) PC member of 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012) Organising Committee member of CILC 2011 Service in Doctoral Consortia AAAI 2016 doctoral consortium PC member 3

4 ICAPS 2015 doctoral consortium DC Mentor AAAI 2015 doctoral consortium PC member AAAI 2015 doctoral consortium DC mentor AAAI 2014 doctoral consortium DC Mentor ICAPS 2013 doctoral consortium DC Mentor ICAPS 2011 doctoral consortium DC Mentor Reviewing for Scientific Journals Artificial Intelligence (AIJ) Journal of Artificial Intelligence Research (JAIR) IEEE Transactions on Control Systems Technology IEEE Transactions on Automation Science and Engineering Autonomous Robots Journal of Mechanisms and Robotics Ocean Engineering AI Communications Applied Soft Computing Journal of Visual Languages and Computing (JVLC) International Tutorials Tutorial on AI Planning and Scheduling for Real-World Applications at the 30th AAAI Conference on Artificial Intelligence (AAAI-16) Tutorial on Planning with PDDL+ at the 25th International Conference on Automated Planning and Scheduling ICAPS 2015) Tutorial on Planning and Model Checking in Real-World Scenarios at the XIII AI*IA Symposium on Artificial Intelligence (AI*IA 2014) Tutorial on Planning in Hybrid Domains at the 28th AAAI Conference on Artificial Intelligence (AAAI-14) Tutorial on Planning in Hybrid Domains at the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) Invited Talks University of Birmingham, UK, October Title: Artificial Intelligence Planning and Robotics King s Robotics Society - KCL, London, UK, February Title: What is Artificial Intelligence, a threat or a new beginning? Centre for Robotics Research (CORE) - KCL, London, UK, February Title: Can a Robot and a Planner Become Real Friends? 4

5 Middlesex University, London, UK, March Title: Policy learning for hybrid systems under uncertainty Dagstuhl Seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, Wadern, Germany, November Title: Universal Planning for Hybrid Domains University of Rome Tor Vergata, Rome, Italy, May Title: Verification and synthesis of hybrid control systems 5

6 Teaching and Supervision Current teaching as lecturer 2015/2016: Bachelor module on Introduction to Artificial Intelligence Responsible for the whole course. Department of Informatics, King s College London, UK. Bachelor module on Artificial Intelligence Planning Responsible for half od the course. Dep6artment of Informatics, King s College London, UK. Previous teaching as lecturer I designed and taught the following courses: 2014/2015: Bachelor module on Introduction to Artificial Intelligence Responsible for the whole course. Department of Informatics, King s College London, UK. 2013/2014: Bachelor module on Introduction to Artificial Intelligence Responsible for half of the course. Department of Informatics, King s College London, UK. 2013/2014: Bachelor module on Programming Practice. Responsible for half of the course. Department of Informatics, King s College London, UK. 2012/2013: Bachelor module on Introduction to Artificial Intelligence Responsible for half of the course. Department of Informatics, King s College London, UK. This course is assessed by essays and written examinations. 2010/2011: MSc module on Formal Methods for Verification of Complex Systems (30 lectures - 60 hours) (Course taught in English) Department of Computer Science, University of L Aquila, Italy. 2010/2011: Bachelor module on Software Engineering (25 lectures - 50 hours) (Course taught in Italian) Department of Sciences, University of Chieti-Pescara, Italy. 2009/2010: MSc module on Formal Methods for Verification of Complex Systems (30 lectures - 60 hours) (Course taught in English) Department of Computer Science, University of L Aquila, Italy. 2008/2009: Bachelor module on Software Engineering (25 lectures - 50 hours) (Course taught in Italian) Department of Sciences, University of Chieti-Pescara, Italy. 2008/2009: MSc module on Formal Methods for Verification of Complex Systems (30 lectures - 60 hours) (Course taught in Italian) Department of Computer Science, University of L Aquila, Italy. Each course was assessed by projects, written examinations and oral examinations. 6

7 Teaching as teaching assistant I collaborated in teaching the following courses: 2007/2008: MSc module on Methods for complex systems verification (4 lectures - 8 hours) (Course taught in Italian) Class taught by Prof. Benedetto Intrigila. University of Rome Tor Vergata, Rome, Italy. 2006/2007: Bachelor module on Programming Languages (15 lectures - 30 hours) (Course taught in Italian) Class taught by Prof. Paola Inverardi. Department of Computer Science, University of L Aquila, Italy. 2006/2007: Bachelor module on Database Management Systems (15 lectures - 30 hours) (Course taught in Italian) Class taught by Prof. Stefania Costantini. Department of Computer Science, University of L Aquila, Italy. Supervised PhD students 2013/ : Wiktor Piotrowski PhD Student in Computer Science - King s College London, UK. 2008/2011: Fabio Mercorio Model Checking for the Analysis and Control of Complex and Nondeterministic Systems PhD Student in Computer Science - University of L Aquila, Italy. (Jointly supervised with Dr. Giuseppe Della Penna). Supervised MSc students Abirami Ravindraa, How to save time and money: planning for business process design King s College London, (September 2014). (Won the best Informatics MSc project 2014 award) Xiaoxue Wang, If I don t know everything - should I plan or should I model-check? King s College London, (September 2014). (Jointly supervised with Hana Chockler). Jiawei Yao, How to save time and money: planning for business process optimisation King s College London, (September 2014). Shuning Ren, A real-world application: Unit Commitment Problem King s College London, (September 2014). Gabriele Musso, Planning and Model Checking in Hybrid Domains Erasmus student from University of Genova, March (Jointly supervised with Prof. Maria Fox). Andrea Ferrando, Model Checking and Planning in Hybrid Domains Erasmus student from University of Genova, March (Jointly supervised with Prof. Maria Fox). Priyanka Agarwal, Satellite Observation Planning King s College London, September (Jointly supervised with Prof. Maria Fox). Gianfranco Murador, Visual Information Extraction from Biomedical Data University of L Aquila (March 2011). (Jointly supervised with Prof. Sergio Orefice). Fabio Mercorio, A PDDL+ Planner based on Model-Checking Techniques University of L Aquila (October 2008). (Jointly supervised with Dr. Giuseppe Della Penna). 7

8 Emilio Santavicca, OBDD Encoding of Lookup Tables University of L Aquila (July 2008). (Jointly supervised with Dr. Giuseppe Della Penna). Nadia Lauri, Automatic Encoding of Control Systems using Binary Decision Diagrams University of L Aquila (April 2007). (Jointly supervised with Dr. Giuseppe Della Penna). Luigi Grassano, A Model-Checking Based Solution to the Idle Speed Control Problem University of L Aquila (January 2007). (Jointly supervised with Dr. Giuseppe Della Penna). Supervised Bachelor s theses Wojciech Milewski, Artificial Intelligence for Urban Traffic Control King s College London, (Expected May 2015). Igor Chernyshov, Verification of Autonomous Underwater Vehicle Missions King s College London, (Expected May 2015). Pooriya Roosta, Artificial Intelligence Planning for Geo-Spatial Reasoning King s College London, (Expected May 2015). Abdirahman Ossoble, A Generic Framework for Computerised Multi-Player Card Games King s College London, (Expected May 2015). Antoine Nguyen, How to win a game without knowing everything? King s College London, (Expected May 2015). Petros Nicolaides, The Canadian Travelers Problem King s College London, (May 2014). Tariq Fadare, Planning Crate Packing for Transportation King s College London, (May 2014). Antonio Morleo, Design Pattern in Java University of Chieti-Pescara (March 2011). Francesco Scoccia, Planning through Genetic Algorithms University of L Aquila (December 2010). (Jointly supervised with Dr. Giuseppe Della Penna). Nadine Soccio, Geographic Information Systems University of Chieti-Pescara (October 2009). Marco Pantalone, The PDDL Language and its Evolution University of Chieti-Pescara (October 2009). Giovanni Lattanzio, Web Information Extraction University of Chieti-Pescara (October 2009). Anna Angelucci, Planning Problem Modelling University of Chieti-Pescara (June 2009). 8

9 Research Interests My main research interests are in Artificial Intelligence Planning and Model Checking. In particular, I am interested in the synergy between the areas of planning and verification, with a particular focus on hybrid systems, robotics, and cyber physical systems. I am also interested in the related areas of Formal Methods and Intelligent Information Acquisition. My contributions to these fields, and a description of my current research and plans for the next few years are reported in the following. AI Planning and Intelligent Systems My research focuses on temporal and metric planning and on planning with continuous change. These features make AI planning a very interesting and promising research area for dealing with realworld applications. In this direction, important steps are represented by the temporal and continuous extensions to the Planning Domain Description Language, which resulted in the languages PDDL2.1 and PDDL+, developed by Maria Fox and Derek Long. In my PhD Thesis ([1]) I developed the UPMurphi tool (see also [11] and [40]), the first planner able to deal with PDDL+ domains. UPMurphi is based on a discretise and validate approach, in which the continuous dynamics of the problem are relaxed into a discretised model. Then the discretised search space is explored using the planning-as-model-checking paradigm. Once a plan has been found it is then validated against the original continuous model, using the plan validator VAL. If it is invalid, the discretisation is refined and the search resumes. UPMurphi has been applied for the control of real continuous systems (see, e.g. [38], [14]). Since then I have been working on extending the work done with UPMurphi. The extension is twofold: on one hand I co-developed the V-UPMurphi tool, which enforces UPMurphi through the use of the disk during the plan synthesis. On the other hand I co-developed and formally analysed an algorithm (described in [36]) to solve cost-optimal strong planning problems in non-deterministic domains. In particular, this represents an important advance over the well-known work of Cimatti and his team (MBP planner), which is to find optimal strong solutions with respect to a metric function. Recently I have worked with Maria Fox and Derek Long on plan-based policy learning. The idea is to tackle the uncertainty involved in most real systems by sampling from a set of determinised instances of the problem, solving each instance using a planner, and then learning a policy based on classification of plans found for the samples. This new approach was first described in the work [35] that received the ICAPS-2011 Best Paper Award. The approach is being applied for control of real systems, including battery load management (described in [6]) and AUV mission control (described in [33]). The policy-learning approach plays also an important role in the EU Project PANDORA (where the policy is embedded into the ROS framework) and within a collaboration with researchers at the Monterey Bay Aquarium Research Institute - MBARI (where the policy is integrated in the TREX architecture). I am now working, with Prof. Maria Fox and Prof. Derek Long, on the use of planning for the control of hybrid systems. To this aim, a first on-going research is the extension of the planner colin to deal with more complex domains. In particular, we aim to make the planner able to reason with trigonometric functions, and to handle exogenous events and processes. This will make possible to address very interesting domains, presenting complex dynamics and challenging concurrency issues. Given my background in Model Checking, I am also investigating the use of continuous planning for hybrid systems verification. In fact, the semantics of PDDL+ is based on Henzinger s theory of hybrid automata. Moreover, planning can be used to find trajectories from the initial state of a system to states that violate a safety property. Thus, exploring the use of the model-checking-as-planning paradigm in the hybrid systems domain appears promising. Formal Methods In the broad area of Formal Methods, my research mainly focuses on the verification and synthesis of control systems. Given the model of a system, the objective is to automatically synthesise a controller for it. To this aim, much work has been done based on symbolic model checking. As a first contribution on this area, I co-developed an approach based on explicit model checking, which is described in the works [8] and [19]. The methodology has then been extended to deal with robust control making use of a probabilistic analysis of the robustness of the generated controller, as described in [39]. I have also conducted a theoretical and experimental comparison between controller synthesis based on modelchecking and dynamic programming, as reported in [47]. Along with the synthesis of controllers, I have 9

10 also worked on their optimisation, proposing a compression scheme based on OBDDs which provides a compact representation of a controller without failing to meet the fast response requirements (this work is described in [18]). Moreover, working on the frontier between Model Checking and AI, I have proposed a hybrid controller (described in [12]), consisting of a numerical component (generated through model checking), and a robust component, based on fuzzy rules. On the verification side, I have worked on using model-checking techniques for the verification of hybrid system controllers (as described in [15]) and fuzzy ones (as described in [51]). Intelligent Information Acquisition I have been working on visual languages based on spatial relations. In this context, I have codeveloped the novel paradigm of visual information extraction (VIE), where the extraction is driven by the spatial arrangements between the elements present in the source domain. This idea has been implemented in the SRQL framework, which was originally designed to perform IE from web pages based on the concept of object bounding box (as described in the work [13]). Then we have extended the framework to make it able to deal with a wider set of domains, including PDF documents (as described in [10]) and Geospatial Data (as described in [37]), for which the formal theory has been extended to take into account object contours. I am now investigating the applicability of the VIE approach to domains involving temporal reasoning. Research software UPMurphi: The Universal Planner Murphi tool represents a computational engine to support universal planning for possibly nonlinear Discrete Time Hybrid Systems defined with a PDDL+ model. It is based on the discretise and validate approach. For more details see the paper [40]. HCGMurphi: The Hybrid Controller Generator Murphi is built on top of CGMurphi and integrates fuzzy and numerical control. It automatically generates a hybrid controller consisting of a numerical component and a fuzzy component. The former is the optimal control table synthesized through CGMurphi. The latter is a fuzzy controller generated and/or calibrated using the information in the numerical controller. The resulting hybrid controller takes advantage of the optimality of numerical controllers and the robustness of fuzzy ones. For more details see the paper [12]. CGMurphi: The Controller Generator Murphi is a tool for the automatic synthesis of optimal and robust numerical controllers. The tool takes as input the model of the system and the goal description and outputs an optimal control table. After that, CGMurphi uses a probabilistic approach in order to extend the optimal controller and to make it robust. Finally, since the control table for complex systems may contain millions of entries, CGMurphi implements a specifically designed OBDD-based compression technique and outputs a compressed numerical controller translated in a C code fragment or in a VHDL sequential circuit definition. For more details see the paper [8]. 10

11 Publications Theses [1]. D. Magazzeni. Explicit Model Checking Techniques applied to Control and Planning Problems. PhD Thesis. Department of Computer Science - University of L Aquila. Journal Articles [2]. N. Palomeras, A. Carrera, N. Hurts, G. Karras, C. Bechlioulis, M. Cashmore, D. Magazzeni, D. Long, M. Fox, K. Kyriakopoulos, P. Kormushev, J. Salvi, M. Carreras Toward Persistent Autonomous Intervention in a Subsea Panel. Autonomous Robots (to appear). [3]. D. Magazzeni, F. Py, M. Fox, D. Long, K. Rajan. Policy Learning for Autonomous Feature Tracking. Autonomous Robots. 37(1): 47-69, [4]. G. Cortellessa, A. E. Gerevini, D. Magazzeni, I. Serina. Automated planning and scheduling. Intelligenza Artificiale. 8(1), [5]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. International Journal on Artificial Intelligence Tools [6]. M. Fox, D. Long, D. Magazzeni. Plan-based Policies for Efficient Multiple Battery Load Management. Journal of Artificial Intelligence Research (JAIR) 44: , [7]. G. Della Penna, D. Magazzeni, S. Orefice. A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction. Journal of Visual Languages & Computing (JVLC) 24(2): 71-87, [8]. G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, E. Tronci. CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems. European Journal of Control (EJC) 19(1): 14-36, [9]. G. Cardinale Ciccotti, G. Della Penna, R. Del Sordo, B. Intrigila, D. Magazzeni, S. Orefice. SyBeL: A System Modelling Language Enhancing Automatic Support in the Software Development Process. International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 23(2): , [10]. G. Della Penna, D. Magazzeni, S. Orefice. A Spatial Relation-based Framework to Perform Visual Information Extraction. Knowledge and Information Systems 30(3): , [11]. G. Della Penna, D. Magazzeni, F. Mercorio. A Universal Planning System for Hybrid Domains Applied Intelligence 36(4): , [12]. D. Magazzeni. A Framework for the Automatic Synthesis of Hybrid Fuzzy/Numerical Controllers. Applied Soft Computing 11(1): , [13]. G. Della Penna, D. Magazzeni, S. Orefice. Visual Extraction of Information from Web Pages. Journal of Visual Languages & Computing 21(1): 23-32, [14]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. Resource-Optimal Planning For An Autonomous Planetary Vehicle. International Journal of Artificial Intelligence & Applications 1(3):15-29,

12 [15]. E. Ciancamerla, G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, M. Minichino, A. Tofani, E. Tronci, M. Venturini Zilli. Automatic Verification of Hybrid System Controllers with the CMurphi Verifier. Journal of Discrete Event Control Systems 1(1): 69-82, Book Chapters [16]. A. Cimatti, S. Edelkamp, M. Fox, D. Magazzeni, E. Plaku. Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports. Volume 4, Issue 11, pp , Dagstuhl, Germany. [17]. I. Arzoumanidis, A. Zamagni, A. Raggi, L. Petti, D. Magazzeni. A model of simplified LCA for agri-food SMEs. Product-Oriented Environmental Management System (POEMS). Chapter 6. Springer, [18]. G. Della Penna, B. Intrigila, N. Lauri, D. Magazzeni. Fast and Compact Encoding of Numerical Controllers using OBDDs. Informatics in Control, Automation and Robotics: Selected Papers from ICINCO 2008: pp , [19]. G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci. Automated Generation Of Optimal Controllers Through Model Checking Techniques. Informatics in Control, Automation and Robotics: Selected Papers from ICINCO 2006: pp , Refereed Conference Papers [20]. M. Vallati, D. Magazzeni, B. De Schutter, L. Chrpa, T. Leo Mccluskey Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. Proceedings of Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). [21]. M. Cashmore, M. Fox, D. Long, D. Magazzeni, A. Carrera, N. Palomeras, N. Hurtos, M. Carreras. ROSPlan: Planning in the Robot Operating System. Proceedings of 25th International Conference on Automated Planning and Scheduling (ICAPS-15). [22]. S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle. Foundations of Must Semantics for PDDL+. Proceedings of 25th International Conference on Automated Planning and Scheduling (ICAPS-15). [23]. M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder. Artificial Intelligence Planning for AUV Mission Control.. Proceedings of IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV-2015). [24]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. UPMurphi Released: PDDL+ Planning for Hybrid Systems.. Proceedings of the ICAPS Workshop on Model Checking and Automated Planning (MOCHAP-15). [25]. M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder, F. Maurelli. Dynamically Extending Planning Models using an Ontology.. Proceedings of the ICAPS Workshop on Planning and Robotics (PlanRob-15). [26]. L. Chrpa, D. Magazzeni, K. McCabe, L. Mccluskey, M. Vallati. Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. Proceedings of IPS [27]. S. Bogomolov, D. Magazzeni, A. Podelski, M. Wehrle. Planning as Model Checking in Hybrid Domains. Proceedings of Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14). [28]. D. Magazzeni, F. Mercorio, B. Barn, T. Clark, F. Raimondi, V. Kulkarni. Temporal Planning for Business Process Optimisation. Proceedings of the ICAPS-2014 Workshop on Scheduling and Planning Applications (SPARK 2014). 12

13 [29]. F. Maurelli, Z. Saigol, D. Lane, M. Cashmore, B. Ridder, D. Magazzeni. On AUV actions to correctly label world information. Proceedings of OCEANS 14 MTS/IEEE. [30]. M. Cashmore, M. Fox, T. Larkworthy, D. Long, D. Magazzeni. AUV Mission Control via Temporal Planning. Proceedings of ICRA [31]. M. Cashmore, M. Fox, T. Larkworthy, D. Long, D. Magazzeni. Planning Inspection Tasks for AUVs. Proceedings of OCEANS 13 MTS/IEEE. [32]. J. Campion, C. Dent, M. Fox, D. Long, D. Magazzeni. Challenge: Modelling Unit Commitment as a Planning Problem. Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013). [33]. M. Fox, D. Long, D. Magazzeni. Plan-based Policy Learning for Autonomous Feature Tracking. Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). [34]. M. Fox, D. Long, D. Magazzeni. Automatic Construction of Efficient Multiple Battery Usage Policies. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp , (Invited Paper in the Best Paper Track). [35]. M. Fox, D. Long, D. Magazzeni. Automatic Construction of Efficient Multiple Battery Usage Policies. Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011), pp , (ICAPS-2011 Best Paper Award). [36]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio, E. Tronci. Cost-Optimal Strong Planning in Non-Deterministic Domains. Proceedings of 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011), pp , [37]. G. Della Penna, D. Magazzeni, S. Orefice. Supporting Visual Information Extraction from Geospatial Data. Proceedings of 17th International Conference on Distributed Multimedia Systems (DMS 2011). [38]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. A PDDL+ Benchmark Problem: The Batch Chemical Plant. Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp , [39]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. Planning for Autonomous Planetary Vehicles. Proceedings of 6th International Conference on Autonomic and Autonomous Systems (ICAS 2010), pp , [40]. G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio. UPMurphi: a Tool for Universal Planning on PDDL+ Problems. Proceedings of 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), pp , [41]. G. Della Penna, D. Magazzeni, S. Orefice. A Graphical Tool to Support Visual Information Extraction. Proceedings of 15th International Conference on Distributed Multimedia Systems (DMS 2009), pp , [42]. D. Magazzeni. Automatic Generation of Hybrid Fuzzy/Numerical Controllers. Proceedings of International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), pp ,

14 [43]. G. Della Penna, B. Intrigila, D. Magazzeni. Evaluating Fuzzy Controller Robustness using Model Checking. Proceedings of 8th International Workshop on Fuzzy Logic and Applications (WILF 2009), vol of Lecture Notes in Computer Science, pp , [44]. M. Talamo, F. Arcieri, G. Della Penna, A. Dimitri, B. Intrigila, D. Magazzeni. Robustness and Interoperability Problems in Security Devices. Proceedings of 4th International Conference on Information Security and Cryptology (Inscrypt 2008). [45]. M. Talamo, F. Arcieri, G. Della Penna, A. Dimitri, B. Intrigila, D. Magazzeni. Verifying Extended Criteria for the Interoperability of Security Devices. Proceedings of 3rd International Symposium on Information Security (IS 2008), vol of Lecture Notes in Computer Science, pp , [46]. G. Della Penna, B. Intrigila, N. Lauri, D. Magazzeni. OBDD Compression of Numerical Controllers. Proceedings of 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2008), pp , [47]. G. Della Penna, B. Intrigila, D. Magazzeni. Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques. Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics, proceedings of IETA 2007, pp , [48]. G. Della Penna, F. Fallucchi, B. Intrigila, D. Magazzeni. A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. Proceedings of 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), vol 4733 of Lecture Notes in Computer Science, pp , [49]. G. Della Penna, D. Magazzeni, A. Tofani, B. Intrigila, I. Melatti, E. Tronci. Automatic Synthesis of Robust Numerical Controllers. Proceedings of the 3rd International Conference on Autonomic and Autonomous Systems (ICAS 2007), pp. 4-11, [50]. G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci. Automatic Generation Of Optimal Controllers Through Model Checking Techniques. Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006), pp , [51]. B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci. A Model Checking Technique for the Verification of Fuzzy Control Systems. Proceedings of the International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), pp ,