@inproceedings{BasinDHKR0T20,
  author    = {David Basin and
               Thibault Dardinier and
               Lukas Heimes and
               Sr{\dj}an Krsti{\'c} and
               Martin Raszyk and
               Joshua Schneider and
               Dmitriy Traytel},
  editor    = {Nicolas Peltier and
               Viorica Sofronie{-}Stokkermans},
  title     = {A Formally Verified, Optimized Monitor for Metric First-Order Dynamic
               Logic},
  booktitle = {10th International Joint Conference on Automated Reasoning {(IJCAR)}},
  series    = {LNCS},
  volume    = {12166},
  pages     = {432--453},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51074-9\_25},
  doi       = {10.1007/978-3-030-51074-9\_25},
}