Andrea Micheli

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Formal Analysis and Verification of Max-Plus Linear Systems.

[BibT_eX]

[DOI]

Muhammad Syifa'ul Mufid

Alessandro Abate

Jaime Alessandro Codagnone

CoRR, 2023

Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster.

[BibT_eX]

[DOI]

Ourania I. Markaki

Aikaterini Papapostolou

Miguel de Prado

Siobhan O'Neill

Proceedings of the 14th International Conference on Information, 2023

Expressive Optimal Temporal Planning via Optimization Modulo Theory.

[BibT_eX]

[DOI]

Stefan Panjkovic

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning.

[BibT_eX]

[DOI]

CoRR, 2022

Decidability and complexity of action-based temporal planning over dense time.

[BibT_eX]

[DOI]

Artif. Intell., 2022

On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.

[BibT_eX]

[DOI]

Nicola Gigante

Enrico Scala

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping.

[BibT_eX]

[DOI]

Stefan Panjkovic

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

SMT-Based Model Checking of Max-Plus Linear Systems.

[BibT_eX]

[DOI]

Muhammad Syifa'ul Mufid

Alessandro Abate

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning.

[BibT_eX]

[DOI]

Alessandro Valentini

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Robust Plan Execution with Unexpected Observations.

[BibT_eX]

[DOI]

CoRR, 2020

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.

[BibT_eX]

[DOI]

Alessandro Abate

Muhammad Syifa'ul Mufid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Temporal Planning with Intermediate Conditions and Effects.

[BibT_eX]

[DOI]

Alessandro Valentini

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.

[BibT_eX]

[DOI]

CoRR, 2019

Temporal Planning with Temporal Metric Trajectory Constraints.

[BibT_eX]

[DOI]

Enrico Scala

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Robustness Envelopes for Temporal Plans.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Strong temporal planning with uncontrollable durations.

[BibT_eX]

[DOI]

Artif. Intell., 2018

2017

Disjunctive temporal networks with uncertainty via SMT: Recent results and directions.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Planning and Scheduling in Temporally Uncertain Domains.

[BibT_eX]

[DOI]

PhD thesis, 2016

Dynamic controllability via Timed Game Automata.

[BibT_eX]

[DOI]

Acta Informatica, 2016

The xSAP Safety Analysis Platform.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Solving strong controllability of temporal problems with uncertainty using SMT.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.

[BibT_eX]

[DOI]

Minh Do

David E. Smith

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

SMT-Based Validation of Timed Failure Propagation Graphs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

The nuXmv Symbolic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Timelines with Temporal Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Solving Temporal Problems Using SMT: Strong Controllability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

Solving Temporal Problems Using SMT: Weak Controllability.

[BibT_eX]

[DOI]