@unpublished{overlay20_up_model_checking,
  title = "A Note on Ultimately-Periodic Finite
           Interval Temporal Logic Model Checking",
  author = "Della Monica, D. and A. Montanari and
            G. Sciavicco and Stan, I. E.",
  note = "2nd Workshop on Artificial Intelligence and
          fOrmal VERification, Logic, Automata, and
	  sYnthesis (OVERLAY)",
  year = "2020"
}