Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali. Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]

Abstract

Abstract is missing.