@unpublished{overlay19_machine_learning_for_monitoring,
  author    = {A. Brunello and
               Della Monica, D. and
               A. Montanari},
  title     = {Pairing monitoring with machine learning
               for smart system verification and
	       predictive maintenance},
  year      = {2019},
  note      = {1st Workshop on Artificial Intelligence and
               fOrmal VERification, Logic, Automata, and
	       sYnthesis (OVERLAY)}
}