@inproceedings{38eadd096c204c39a87b436cc3599a0d,
title = "RTAMT: Online Robustness Monitors from STL",
author = "Dejan Nickovic and Tomoya Yamaguchi",
year = "2020",
language = "English",
isbn = "978-3-030-59151-9",
pages = "564--571",
booktitle = "Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings.",
publisher = "Springer",
address = "Germany",
note = "ATVA 2020 ; Conference date: 19-10-2020 Through 23-10-2020",
}