Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.

DOI10.4230/LIPICS.TIME.2021.15MaRDI QIDQ6080282zbMATH OpenOpenAlexFDO

Authors Michael Cashmore, Andrea Micheli, Rodrigo Ventura

Publication date 2 October 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/14791/pdf/LIPIcs-TIME-2021-15.pdf/

zbMATH Keywords

roboticstemporal plan executiontemporal planning

Mathematics Subject Classification ID

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

This page was built for publication: Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080282)