Daniele Magazzeni

According to our database1, Daniele Magazzeni authored at least 68 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
An Introduction to the Planning Domain Definition Language
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2019

Probabilistic Planning for Robotics with ROSPlan.
Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Temporal Planning as Refinement-Based Model Checking.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Replanning for Situated Robots.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Robustness Envelopes for Temporal Plans.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Opportunistic Planning in Autonomous Underwater Missions.
IEEE Trans. Automation Science and Engineering, 2018

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows.
IEEE Robotics and Automation Letters, 2018

Planning and Operations Research (Dagstuhl Seminar 18071).
Dagstuhl Reports, 2018

Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Temporal Planning while the Clock Ticks.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges.
Proceedings of the 2018 AAAI Spring Symposia, 2018

Situated Planning for Execution Under Temporal Constraints.
Proceedings of the 2018 AAAI Spring Symposia, 2018

2017
CASP solutions for planning in hybrid domains.
TPLP, 2017

A formal framework to represent spatial knowledge.
Knowl. Inf. Syst., 2017

Planning and Robotics (Dagstuhl Seminar 17031).
Dagstuhl Reports, 2017

Validation and Verification of Smart Contracts: A Research Agenda.
IEEE Computer, 2017

On-the-fly detection of novel objects in indoor environments.
Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

Landmarks for Numeric Planning Problems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Decreasing Uncertainty in Planning with State Prediction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Short-Term Human-Robot Interaction through Conditional Planning and Execution.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PDDL+ Planning with Temporal Pattern Databases.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Initial State Prediction in Planning.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
6th Italian Workshop on Planning and Scheduling (IPS 2015).
Intelligenza Artificiale, 2016

Extending visual information extraction to biomedical applications.
Comput. Syst. Sci. Eng., 2016

Toward persistent autonomous intervention in a subsea panel.
Auton. Robots, 2016

Reports of the 2016 AAAI Workshop Program.
AI Magazine, 2016

Heuristic Planning for PDDL+ Domains.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Planning Using Actions with Control Parameters.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

A Compilation of the Full PDDL+ Language into SMT.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Heuristic Planning for PDDL+ Domains.
Proceedings of the Planning for Hybrid Systems, 2016

Heuristic Planning for Hybrid Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A Compilation of the Full PDDL+ Language into SMT.
Proceedings of the Planning for Hybrid Systems, 2016

2015
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.
International Journal on Artificial Intelligence Tools, 2015

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence.
AI Magazine, 2015

ROSPlan: Planning in the Robot Operating System.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations.
Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014
Automated planning and scheduling.
Intelligenza Artificiale, 2014

Automated Planning and Model Checking (Dagstuhl Seminar 14482).
Dagstuhl Reports, 2014

Policy learning for autonomous feature tracking.
Auton. Robots, 2014

AUV mission control via temporal planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Planning as Model Checking in Hybrid Domains.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A general theory of spatial relations to support a graphical tool for visual information extraction.
J. Vis. Lang. Comput., 2013

Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process.
International Journal of Software Engineering and Knowledge Engineering, 2013

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control, 2013

Challenge: Modelling Unit Commitment as a Planning Problem.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
A spatial relation-based framework to perform visual information extraction.
Knowl. Inf. Syst., 2012

Plan-based Policies for Efficient Multiple Battery Load Management.
J. Artif. Intell. Res., 2012

A universal planning system for hybrid domains.
Appl. Intell., 2012

Plan-Based Policy-Learning for Autonomous Feature Tracking.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
A framework for the automatic synthesis of hybrid fuzzy/numerical controllers.
Appl. Soft Comput., 2011

Automatic Construction of Efficient Multiple Battery Usage Policies.
Proceedings of the IJCAI 2011, 2011

Cost-optimal Strong Planning in Non-deterministic Domains.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

Supporting Visual Information Extraction from Geospatial Data.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

Automatic Construction of Efficient Multiple Battery Usage Policies.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010
Visual extraction of information from web pages.
J. Vis. Lang. Comput., 2010

Planning for Autonomous Planetary Vehicles.
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A PDDL+ Benchmark Problem: The Batch Chemical Plant.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Evaluating Fuzzy Controller Robustness Using Model Checking.
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

UPMurphi: A Tool for Universal Planning on PDDL+ Problems.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Verifying Extended Criteria for the Interoperability of Security Devices.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

OBDD Compression of Numerical Controllers.
Proceedings of the ICINCO 2008, 2008

Automatic Generation of Hybrid Fuzzy/Numerical Controllers.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Automatic generation of optimal controllers through model checking techniques.
Proceedings of the ICINCO 2006, 2006

2005
A Model Checking Technique for the Verification of Fuzzy Control Systems.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005


  Loading...