Games on Graphs - MOVE Modélisation et Vérification - LIS Laboratoire d'Informatique et Systèmes de Marseille (UMR 7020)
Ouvrages Année : 2024

Games on Graphs

Nathanaël Fijalkow
Patricia Bouyer
Romain Brenguier
  • Fonction : Auteur
  • PersonId : 952182
Arnaud Carayol
Rasmus Ibsen-Jensen
  • Fonction : Auteur
  • PersonId : 1000542
Benjamin Monmege
Petr Novotny
  • Fonction : Auteur
  • PersonId : 1172300
IBM
Mateusz Skomra

Résumé

The objective of this collaborative textbook is to present the state of the art on games on graphs from automata and logic.
Fichier principal
Vignette du fichier
2305.10546.pdf (8.4 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04273394 , version 1 (09-11-2023)

Licence

Identifiants

Citer

Nathanaël Fijalkow (Dir.). Games on Graphs. pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩. ⟨hal-04273394⟩
237 Consultations
109 Téléchargements

Altmetric

Partager

More