@misc{indiciae765fbd9eae62,
  title = {Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces},
  author = {Giuseppe De Giacomo and Riccardo De Masellis and Fabrizio Maria Maggi and Marco Montali},
  year = {2020},
  url = {https://arxiv.org/abs/2004.01859},
  note = {Source identifier: 2004.01859}
}