Title | Bayesian Neural Predictive Monitoring |
Publication Type | Conference Paper |
Year of Publication | 2020 |
Authors | Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. |
Conference Name | Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI |
Date Published | 09/2020 |