Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller. Bayesian Neural Predictive Monitoring. In Riccardo De Benedictis, Luca Geretti, Andrea Micheli, editors, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020. Volume 2785 of CEUR Workshop Proceedings, pages 95-100, CEUR-WS.org, 2020. [doi]
@inproceedings{BortolussiCPSS20,
title = {Bayesian Neural Predictive Monitoring},
author = {Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
year = {2020},
url = {http://ceur-ws.org/Vol-2785/paper16.pdf},
researchr = {https://researchr.org/publication/BortolussiCPSS20},
cites = {0},
citedby = {0},
pages = {95-100},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020},
editor = {Riccardo De Benedictis and Luca Geretti and Andrea Micheli},
volume = {2785},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}