Angelo Ferrando 0001, Rafael C. Cardoso 0001, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher 0001, Viviana Mascardi. Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods in System Design, 59(1):44-76, 2021. [doi]
Abstract is missing.