A Formally Verified Monitor for Metric First-Order Temporal Logic

Joshua Schneider, David Basin, Srđan Krstić, Dmitriy Traytel

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

25 Citationer (Scopus)

Originalsprog	Engelsk
Titel	RV 2019
Redaktører	Bernd Finkbeiner, Leonardo Mariani
Antal sider	19
Vol/bind	11757
Forlag	Springer, Cham
Publikationsdato	2019
Sider	310-328
DOI	https://doi.org/10.1007/978-3-030-32079-9_18
Status	Udgivet - 2019
Udgivet eksternt	Ja

Navn	LNCS

Adgang til dokumentet

@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",

}

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 -