Formal Verification of Bayesian Mechanisms.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Browse the full AAAI paper archive.