@unpublished{races20,
  title = "Learning to Monitor: a Novel Framework
           for Online System Verification",
  author = "A. Brunello and Della Monica, D. and
            A. Montanari and A. Urgolo",
  note = "Reasoning about ACtions and Events over
          Streams (RACES) within KR 2020",
  year = "2020"
}