@entry{fin-fra-koh-kro-22-aa,
  author = {B Finkbeiner and M Fr{\"a}nzle and F Kohn and P Kr{\"o}ger},
  title = {A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation},
  journal = {Algorithms,},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.mdpi.com/1582942}}},
  quotes = {... For the model-free as well as for the linear model-based case, we provide optimal evaluation algorithms based on affine arithmetic and SAT modulo theory, solving over linear arithmetic...}
}