Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023
Fichier non déposé

Dates et versions

hal-04336296 , version 1 (11-12-2023)

Identifiants

  • HAL Id : hal-04336296 , version 1

Citer

Angelo Ferrando, Vadim Malvone. Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS, May 2023, London, United Kingdom. ⟨hal-04336296⟩
29 Consultations
0 Téléchargements

Partager

More