A Formally Verified Monitor for Metric First-Order Temporal Logic

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	RV 2019
Editors	Bernd Finkbeiner, Leonardo Mariani
Number of pages	19
Volume	11757
Publisher	Springer, Cham
Publication date	2019
Pages	310-328
DOIs	https://doi.org/10.1007/978-3-030-32079-9_18
Publication status	Published - 2019
Externally published	Yes

Series	LNCS

ID: 245667840

Department of Computer Science