Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L. Formal Verification of Bayesian Mechanisms. AAAI 2023, 37, 11621-11629.