Verification of Bayesian Mechanisms with Strategy Logic / Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent. - (2023). (Intervento presentato al convegno Workshop on Strategies, Prediction, In teraction, and Reasoning in Italy (SPIRIT 2023)).
Verification of Bayesian Mechanisms with Strategy Logic
Munyque Mittelmann
;Bastien Maubert;Aniello Murano;
2023
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper20_SPIRIT10.pdf
accesso aperto
Licenza:
Creative commons
Dimensione
507.91 kB
Formato
Adobe PDF
|
507.91 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


