L. Bortolussi

Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2021). Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal on Software Tools for Technology Transfer. (Original work published 2021)

Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2020). Bayesian Neural Predictive Monitoring. Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI. Presented at the. (Original work published 2020)