@proceedings{overlay21,
  editor    = {Dario Della Monica and
               Gian Luca Pozzato and
               Enrico Scala},
  title     = {Proceedings of the 3rd Workshop on
               Artificial Intelligence and Formal
               Verification, Logic, Automata, and
               Synthesis (OVERLAY)},
  series    = {CEUR Workshop Proceedings},
  volume    = {2987},
  publisher = {CEUR-WS.org},
  year      = {2021}
}