A Prototype for the Robust Execution of Flexible Plans
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Rende, Italy, November 19–20, 2019. Lanzilli Annarita; Cialdea Mayer Marta (ROMA TRE University, Rome, Italy); Cesta Amedeo; Orlandini Andrea; Umbrico Alessandro (ISTC-CNR, Rome, Italy) Abstract Timeline-based Planning and Scheduling (P&S) usually deals with two main sources of uncertainty: some components may depend on an external environment and…





