Veröffentlichungen
Verification of Bayesian Mechanisms with Strategy Logic
Autoren:
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Veröffentlicht in:
Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Herausgeber:
CEUR Workshop Proceedings
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor