Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024
Fichier non déposé

Dates et versions

hal-04580667 , version 1 (20-05-2024)

Identifiants

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⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More