A framework to measure the robustness of programs in the unpredictable environment

Valentina Castiglioni, Michele Loreti, Simone Tini. A framework to measure the robustness of programs in the unpredictable environment. Logical Methods in Computer Science, 19(3), 2023. [doi]

Abstract

Abstract is missing.