Mittelmann, M., Maubert, B., Murano, A., & Perrussel, L. (2023). Formal Verification of Bayesian Mechanisms. Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), 11621-11629. https://doi.org/10.1609/aaai.v37i10.26373