Publications
Verification of Bayesian Mechanisms with Strategy Logic
Author(s):
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Published in:
Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Publisher:
CEUR Workshop Proceedings
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available