An operational guide to monitorability with applications to regular properties

Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. An operational guide to monitorability with applications to regular properties. Software and Systems Modeling, 20(2):335-361, 2021. [doi]

Abstract

Abstract is missing.