Neural Predictive Monitoring

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

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

}