Mittelmann M, Maubert B, Murano A, Perrussel L. Formal Verification of Bayesian Mechanisms. AAAI [Internet]. 2023Jun.26 [cited 2024Nov.21];37(10):11621-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26373