Neural Predictive Monitoring

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

Research output: Chapter in Book/Report/Conference proceedingChapter

78 Downloads (Pure)
Original languageEnglish
Title of host publicationRuntime Verification
Pages129-147
Number of pages19
ISBN (Electronic)978-3-030-32079-9
DOIs
Publication statusE-pub ahead of print - 1 Oct 2019

Cite this