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

DOI10.4230/lipics.time.2021.15OpenAlexW3203113056MaRDI QIDQ6080282

Rodrigo Ventura, Unnamed Author, Unnamed Author, Michael Cashmore, Andrea Micheli

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 planningtemporal plan execution

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: Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.