Andrea Micheli
Orcid: 0000-0002-6370-1061
According to our database1,
Andrea Micheli
authored at least 47 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
SoftwareX, 2025
2024
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture.
IEEE Robotics Autom. Mag., March, 2024
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning.
Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024
Proceedings of the AIxIA 2024 - Advances in Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster.
Proceedings of the 14th International Conference on Information, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning.
CoRR, 2022
Artif. Intell., 2022
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
CoRR, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
2017
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions.
Intelligenza Artificiale, 2017
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Constraints An Int. J., 2015
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell., 2015
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
2009
Proceedings of the ASE 2009, 2009