110 citations · 839 across the 148 of their papers we have counts for
4 papers · 1 filter
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…
Euclid preparation: VII. Forecast validation for Euclid cosmological probes
Euclid Collaboration, A. Blanchard, S. Camera +151
The Euclid space telescope will measure the shapes and redshifts of galaxies to reconstruct the expansion history of the Universe and the growth of cosmic structures. Estimation of…
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…
Euclid preparation: V. Predicted yield of redshift 7<z<9 quasars from the wide survey
Euclid Collaboration, R. Barnett, S. J. Warren +126
We provide predictions of the yield of quasars from the Euclid wide survey, updating the calculation presented in the Euclid Red Book in several ways. We account for revisi…