3 citations · 3 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni +2
One of the major limitations for the employment of model-based planning and scheduling in practical applications is the need of costly re-planning when an incongruence between the…
cs.AI2019
Temporal Planning with Intermediate Conditions and Effects
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
Automated temporal planning is the technology of choice when controlling systems that can execute more actions in parallel and when temporal constraints, such as deadlines, are nee…