Publicaciones
Verification of Bayesian Mechanisms with Strategy Logic
Autores:
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Publicado en:
Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Editor:
CEUR Workshop Proceedings
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles