Publications
Verification of Bayesian Mechanisms with Strategy Logic
Auteurs:
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Publié dans:
Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Éditeur:
CEUR Workshop Proceedings
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible