Browse by Journal or other publication
2020
Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2020) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: Integrated Execution (IntEx) / Goal Reasoning (GR), 2020-10-19 - 2020-10-30, Virtual.