Neural Predictive Monitoring. / Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Smolka, Scott A; Stoller, Scott D.

Runtime Verification. 2019. p. 129-147.

Research output: Chapter in Book/Report/Conference proceedingChapter

E-pub ahead of print

Standard

Neural Predictive Monitoring. / Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Smolka, Scott A; Stoller, Scott D.

Runtime Verification. 2019. p. 129-147.

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Bortolussi, L, Cairoli, F, Paoletti, N, Smolka, SA & Stoller, SD 2019, Neural Predictive Monitoring. in Runtime Verification. pp. 129-147. https://doi.org/10.1007/978-3-030-32079-9_8

APA

Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2019). Neural Predictive Monitoring. In Runtime Verification (pp. 129-147) https://doi.org/10.1007/978-3-030-32079-9_8

Vancouver

Bortolussi L, Cairoli F, Paoletti N, Smolka SA, Stoller SD. Neural Predictive Monitoring. In Runtime Verification. 2019. p. 129-147 https://doi.org/10.1007/978-3-030-32079-9_8

Author

Bortolussi, Luca ; Cairoli, Francesca ; Paoletti, Nicola ; Smolka, Scott A ; Stoller, Scott D. / Neural Predictive Monitoring. Runtime Verification. 2019. pp. 129-147

BibTeX

@inbook{589fae3d5a754aae8cde848007d41c8b,
title = "Neural Predictive Monitoring",
author = "Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Smolka, {Scott A} and Stoller, {Scott D}",
year = "2019",
month = oct,
day = "1",
doi = "10.1007/978-3-030-32079-9_8",
language = "English",
isbn = "978-3-030-32078-2",
pages = "129--147",
booktitle = "Runtime Verification",

}

RIS

TY - CHAP

T1 - Neural Predictive Monitoring

AU - Bortolussi, Luca

AU - Cairoli, Francesca

AU - Paoletti, Nicola

AU - Smolka, Scott A

AU - Stoller, Scott D

PY - 2019/10/1

Y1 - 2019/10/1

U2 - 10.1007/978-3-030-32079-9_8

DO - 10.1007/978-3-030-32079-9_8

M3 - Chapter

SN - 978-3-030-32078-2

SP - 129

EP - 147

BT - Runtime Verification

ER -