Pubblicazioni
Verification of Bayesian Mechanisms with Strategy Logic
Autori:
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Pubblicato in:
Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Editore:
CEUR Workshop Proceedings
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile