共 50 条
- [47] A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems SOFTWARE ENGINEERING AND FORMAL METHODS: SEFM 2021 COLLOCATED WORKSHOPS, 2022, 13230 : 317 - 332
- [49] Probabilistic Linear Solvers for Machine Learning ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33