research
∙
12/14/2022
An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning
One popular technique to solve temporal planning problems consists in de...
share
research
∙
07/01/2020
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
This paper proposes a new approach, grounded in Satisfiability Modulo Th...
research
∙
03/20/2020
Robust Plan Execution with Unexpected Observations
In order to ensure the robust actuation of a plan, execution must be ada...
research
∙
11/17/2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
One of the major limitations for the employment of model-based planning ...
research
∙
09/25/2019