Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Résumé
no abstract
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
no abstract
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699927
Soumis le : vendredi 3 février 2023-15:13:06
Dernière modification le : jeudi 17 avril 2025-09:48:14
Archivage à long terme le : jeudi 4 mai 2023-19:47:13