@unpublished{overlay20_learning_to_monitor,
  title = "Learning How to Monitor: Pairing Monitoring
           and Learning for Online System Verification",
  author = "A. Brunello and Della Monica, D. and
            A. Montanari and A. Urgolo",
  note = "2nd Workshop on Artificial Intelligence and
          fOrmal VERification, Logic, Automata, and
	  sYnthesis (OVERLAY)",
  year = "2020"
}