M. Mittelmann, B. Maubert, A. Murano, and L. Perrussel, “Formal Verification of Bayesian Mechanisms”, AAAI, vol. 37, no. 10, pp. 11621–11629, Jun. 2023.