Standard
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. / Basin, David; Dardinier, Thibault; Heimes, Lukas; Krstić, Srđan; Raszyk, Martin; Schneider, Joshua; Traytel, Dmitriy.
IJCAR 2020. Vol. 12166 2020. p. 432-453 (Lecture Notes in Computer Science, Vol. 12166).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Basin, D, Dardinier, T, Heimes, L, Krstić, S, Raszyk, M, Schneider, J
& Traytel, D 2020,
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. in
IJCAR 2020. vol. 12166, Lecture Notes in Computer Science, vol. 12166, pp. 432-453.
https://doi.org/10.1007/978-3-030-51074-9_25APA
Basin, D., Dardinier, T., Heimes, L., Krstić, S., Raszyk, M., Schneider, J.
, & Traytel, D. (2020).
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. In
IJCAR 2020 (Vol. 12166, pp. 432-453). Lecture Notes in Computer Science Vol. 12166
https://doi.org/10.1007/978-3-030-51074-9_25Vancouver
Basin D, Dardinier T, Heimes L, Krstić S, Raszyk M, Schneider J et al.
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. In IJCAR 2020. Vol. 12166. 2020. p. 432-453. (Lecture Notes in Computer Science, Vol. 12166).
https://doi.org/10.1007/978-3-030-51074-9_25Author
Basin, David ; Dardinier, Thibault ; Heimes, Lukas ; Krstić, Srđan ; Raszyk, Martin ; Schneider, Joshua ; Traytel, Dmitriy. / A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR 2020. Vol. 12166 2020. pp. 432-453 (Lecture Notes in Computer Science, Vol. 12166).
Bibtex
@inproceedings{20d8b6e6893e4e7f8dd9163b7782485e,
title = "A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic",
author = "David Basin and Thibault Dardinier and Lukas Heimes and Sr{\d}an Krsti{\'c} and Martin Raszyk and Joshua Schneider and Dmitriy Traytel",
year = "2020",
doi = "10.1007/978-3-030-51074-9_25",
language = "English",
volume = "12166",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "432--453",
booktitle = "IJCAR 2020",
}
RIS
TY - GEN
T1 - A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
AU - Basin, David
AU - Dardinier, Thibault
AU - Heimes, Lukas
AU - Krstić, Srđan
AU - Raszyk, Martin
AU - Schneider, Joshua
AU - Traytel, Dmitriy
PY - 2020
Y1 - 2020
U2 - 10.1007/978-3-030-51074-9_25
DO - 10.1007/978-3-030-51074-9_25
M3 - Article in proceedings
VL - 12166
T3 - Lecture Notes in Computer Science
SP - 432
EP - 453
BT - IJCAR 2020
ER -
