Communication Dans Un Congrès
Année : 2024
Jean Leneutre : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04580667
Soumis le : lundi 20 mai 2024-18:16:16
Dernière modification le : mercredi 23 octobre 2024-10:30:04
Citer
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. ⟨10.5555/3635637.3662875⟩. ⟨hal-04580667⟩
Collections
97
Consultations
0
Téléchargements