TY  - RPRT
TI  - Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
AU  - Giuseppe De Giacomo
AU  - Riccardo De Masellis
AU  - Fabrizio Maria Maggi
AU  - Marco Montali
PY  - 2020
UR  - https://arxiv.org/abs/2004.01859
ID  - 2004.01859
ER  -