%0 Conference Paper %1 conf/aaai/MittelmannMMP23 %A Mittelmann, Munyque %A Maubert, Bastien %A Murano, Aniello %A Perrussel, Laurent %B AAAI %D 2023 %E Williams, Brian %E Chen, Yiling %E Neville, Jennifer %I AAAI Press %K dblp %P 11621-11629 %T Formal Verification of Bayesian Mechanisms. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#MittelmannMMP23 %@ 978-1-57735-880-0

@inproceedings{conf/aaai/MittelmannMMP23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Mittelmann, Munyque and Maubert, Bastien and Murano, Aniello and Perrussel, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2a6f9e8e3c8492833e983be2ff5e60271/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2023}, editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer}, ee = {https://doi.org/10.1609/aaai.v37i10.26373}, interhash = {b569abea364183c48b3fe91cc1b1e3d8}, intrahash = {a6f9e8e3c8492833e983be2ff5e60271}, isbn = {978-1-57735-880-0}, keywords = {dblp}, pages = {11621-11629}, publisher = {AAAI Press}, timestamp = {2024-05-13T09:43:05.000+0200}, title = {Formal Verification of Bayesian Mechanisms.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#MittelmannMMP23}, year = 2023 }