1. Risk verification of stochastic systems with neural network controllers
2. Li, L , et al. (2020). SoK: Certified robustness for deep neural networks. ArXiv preprint arXiv:2009.04131.
3. Jansen, N , et al. (2020) Safe reinforcement learning using probabilistic shields. In 31st International Conference on Concurrency Theory (CONCUR 2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.
4. Toward verified artificial intelligence
5. Wicker, M , et al. (2021) Certification of iterative predictions in Bayesian neural networks. In Uncertainty in Artificial Intelligence. PMLR.