@inproceedings{bortolussi2020bayesian,
    title={Bayesian Neural Predictive Monitoring},
    author={Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
    year={2020},
	booktitle={2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY 2020)},
 	pages={95--100},
 	url = {http://ceur-ws.org/Vol-2785/paper16.pdf}
}