“BRIO: Low-Level Analysis of Trust in Probabilistic and Opaque Programs”. The Reasoner 17, no. 4 (July 1, 2023). Accessed July 27, 2026. https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24135.