Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall

Domaines

Informatique [cs]

Vadim Malvone  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04336405

Soumis le : lundi 11 décembre 2023-17:33:17

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-04336405 , version 1

Citer

Angelo Ferrando, Vadim Malvone. Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS, May 2021, Online, United Kingdom. ⟨hal-04336405⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH LTCI INFRES ACES IP_PARIS INSTITUT-MINES-TELECOM
23 Consultations
0 Téléchargements

Partager

More