Back to overview

A Formally Verified Monitor for Metric First-Order Temporal Logic

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Schneider Joshua, Basin David, Krstić Srđan, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Finkbeiner Bernd; , Mariani Leonardo
Volume (Issue) 11757
Page(s) 310 - 328
Title of proceedings Runtime Verification - 19th International Conference, {RV} 2019, Porto, Portugal, October 8-11, 2019, Proceedings
DOI 10.1007/978-3-030-32079-9_18