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

DOI10.4230/lipics.time.2021.13arXiv1911.07318OpenAlexW3204050380MaRDI QIDQ6080278

Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi, Michael Cashmore, Alessandro Cimatti

Publication date: 2 October 2023

Full work available at URL: https://arxiv.org/abs/1911.07318

zbMATH Keywords

temporal planningrobustness envelopes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans