Standard
A Formally Verified Monitor for Metric First-Order Temporal Logic. / Schneider, Joshua; Basin, David; Krstić, Srđan; Traytel, Dmitriy.
RV 2019. ed. / Bernd Finkbeiner; Leonardo Mariani. Vol. 11757 Springer, Cham, 2019. p. 310-328 (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Schneider, J, Basin, D, Krstić, S
& Traytel, D 2019,
A Formally Verified Monitor for Metric First-Order Temporal Logic. in B Finkbeiner & L Mariani (eds),
RV 2019. vol. 11757, Springer, Cham, LNCS, pp. 310-328.
https://doi.org/10.1007/978-3-030-32079-9_18APA
Schneider, J., Basin, D., Krstić, S.
, & Traytel, D. (2019).
A Formally Verified Monitor for Metric First-Order Temporal Logic. In B. Finkbeiner, & L. Mariani (Eds.),
RV 2019 (Vol. 11757, pp. 310-328). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-030-32079-9_18Vancouver
Schneider J, Basin D, Krstić S
, Traytel D.
A Formally Verified Monitor for Metric First-Order Temporal Logic. In Finkbeiner B, Mariani L, editors, RV 2019. Vol. 11757. Springer, Cham. 2019. p. 310-328. (LNCS).
https://doi.org/10.1007/978-3-030-32079-9_18Author
Schneider, Joshua ; Basin, David ; Krstić, Srđan ; Traytel, Dmitriy. / A Formally Verified Monitor for Metric First-Order Temporal Logic. RV 2019. editor / Bernd Finkbeiner ; Leonardo Mariani. Vol. 11757 Springer, Cham, 2019. pp. 310-328 (LNCS).
Bibtex
@inproceedings{155b50047e4d4495b4f899eab314b407,
title = "A Formally Verified Monitor for Metric First-Order Temporal Logic",
author = "Joshua Schneider and David Basin and Sr{\d}an Krsti{\'c} and Dmitriy Traytel",
year = "2019",
doi = "10.1007/978-3-030-32079-9_18",
language = "English",
volume = "11757",
series = "LNCS",
pages = "310--328",
editor = "Bernd Finkbeiner and Leonardo Mariani",
booktitle = "RV 2019",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - A Formally Verified Monitor for Metric First-Order Temporal Logic
AU - Schneider, Joshua
AU - Basin, David
AU - Krstić, Srđan
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1007/978-3-030-32079-9_18
DO - 10.1007/978-3-030-32079-9_18
M3 - Article in proceedings
VL - 11757
T3 - LNCS
SP - 310
EP - 328
BT - RV 2019
A2 - Finkbeiner, Bernd
A2 - Mariani, Leonardo
PB - Springer, Cham
ER -
