3 citations · 3 across the 1 of their papers we have counts for
3 papers
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…
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…
The xSAP Safety Analysis Platform
Benjamin Bittner, Marco Bozzano, Roberto Cavada +6
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In…