Bridging the gap between single- and multi-model predictive runtime verification

Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana

Bridging the gap between single- and multi-model predictive runtime verification

Files

Ferrando_etal_FMSD_Bridging_The_Gap_VoR.pdf (2 MB)

Date

2022-08-18

Authors

Citation

Ferrando, A, Cardoso, R C, Farrell, M, Luckcuck, M, Papacchini, F, Fisher, M & Mascardi, V 2022, 'Bridging the gap between single- and multi-model predictive runtime verification', Formal Methods in System Design, vol. 59, no. 1-3, pp. 44-76. https://doi.org/10.1007/s10703-022-00395-7