Neural Predictive Monitoring

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A Smolka, Scott D Stoller

Research output: Chapter in Book/Report/Conference proceeding › Chapter

82 Downloads (Pure)

Access to Document

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

}