@inproceedings{DBLP:conf/tacas/LimaHRTY23,
  author       = {Leonardo Lima and
                  Andrei Herasimau and
                  Martin Raszyk and
                  Dmitriy Traytel and
                  Simon Yuan},
  editor       = {Sriram Sankaranarayanan and
                  Natasha Sharygina},
  title        = {Explainable Online Monitoring of Metric Temporal Logic},
  booktitle    = {{TACAS} 2023},
  series       = {LNCS},
  volume       = {13994},
  pages        = {473--491},
  publisher    = {Springer},
  year         = {2023},
  doi          = {10.1007/978-3-031-30820-8_28}
}

@inproceedings{DBLP:conf/tacas/LimaHT24,
  author       = {Leonardo Lima and
                  Jonathan Juli{\'a}n Huerta y Munive and
                  Dmitriy Traytel},
  editor       = {Bernd Finkbeiner and
                  Laura Kov{\'a}cs},
  title        = {Explainable Online Monitoring of Metric First-Order Temporal Logic},
  booktitle    = {{TACAS} 2024},
  series       = {LNCS},
  volume       = {14570},
  pages        = {288--307},
  publisher    = {Springer},
  year         = {2024},
  doi          = {10.1007/978-3-031-57246-3_16}
}

