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
Laboratoire Bordelais de Recherche en Informatique
Nathalie Bertrand
  • Fonction : Auteur
Vérification efficace pour des systèmes distribués fiables
Patricia Bouyer
Laboratoire Méthodes Formelles
Romain Brenguier
  • Fonction : Auteur
  • PersonId : 952182
University of Oxford
Arnaud Carayol
Laboratoire d'Informatique Gaspard-Monge
John Fearnley
  • Fonction : Auteur
University of Liverpool
Hugo Gimbert
Laboratoire Bordelais de Recherche en Informatique
Florian Horn
Institut de Recherche en Informatique Fondamentale
Rasmus Ibsen-Jensen
  • Fonction : Auteur
  • PersonId : 1000542
University of Liverpool
Nicolas Markey
SUpervision of large MOdular and distributed systems
Benjamin Monmege
Modélisation et Vérification
CV
Petr Novotny
  • Fonction : Auteur
  • PersonId : 1172300
IBM
Mickael Randour
Université de Mons / University of Mons
Ocan Sankur
  • Fonction : Auteur
  • PersonId : 741359
  • IdHAL : ocan-sankur
SUpervision of large MOdular and distributed systems
Sylvain Schmitz
Institut universitaire de France
Institut de Recherche en Informatique Fondamentale
CV
Olivier Serre
Institut de Recherche en Informatique Fondamentale
CV
Mateusz Skomra
Equipe Polynomial OPtimization

Résumé

The objective of this collaborative textbook is to present the state of the art on games on graphs from automata and logic.

Domaines

Informatique et théorie des jeux [cs.GT]
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
Paternité

Nathanaël Fijalkow  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04273394

Soumis le : jeudi 9 novembre 2023-21:14:29

Dernière modification le : mardi 5 novembre 2024-08:46:02

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC UNIV-TLSE2 UNIV-RENNES1 UNIV-TLN CNRS INRIA UNIV-AMU ENS-CACHAN INSA-RENNES INSA-TOULOUSE LAAS IRISA UNIV-BORDEAUX PARISTECH LIGM UT1-CAPITOLE CENTRALESUPELEC LAAS-DECISION-ET-OPTIMISATION INRIA2 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC LIS-LAB MOVE UNIV-RENNES INSA-GROUPE UP-SCIENCES UR1-MATH-NUM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF UNIV-EIFFEL INCIAM TOULOUSE-INP UNIV-UT3 LAAS-POP UT3-TOULOUSEINP IRIF LIGM_BAAM
362 Consultations
162 Téléchargements

Altmetric

Partager

More