Games on Graphs

Nathanaël Fijalkow; Nathalie Bertrand; Patricia Bouyer; Romain Brenguier; Arnaud Carayol; John Fearnley; Hugo Gimbert; Florian Horn; Rasmus Ibsen-Jensen; Nicolas Markey; Benjamin Monmege; Petr Novotny; Mickael Randour; Ocan Sankur; Sylvain Schmitz; Olivier Serre; Mateusz Skomra

doi:10.48550/arXiv.2305.10546

Ouvrages Année : 2024

Games on Graphs

(1) , (2) , (3) , (4) , (5) , (6) , (1) , (7) , (6) , (8) , (9) , (10) , (11) , (8) , (12, 7) , (7) , (13)

1
2
3
4
5
6
7
8
9
10
11
12
13

Nathanaël Fijalkow

Fonction : Directeur scientifique
PersonId : 183257
IdHAL : nathanael-fijalkow
ORCID : 0000-0002-6576-4680
IdRef : 263654664

Laboratoire Bordelais de Recherche en Informatique

Nathalie Bertrand

Fonction : Auteur

Vérification efficace pour des systèmes distribués fiables

Patricia Bouyer

Fonction : Auteur
PersonId : 174420
IdHAL : patricia-bouyer
ORCID : 0000-0002-2823-0911
IdRef : 176675426

Laboratoire Méthodes Formelles

Romain Brenguier

Fonction : Auteur
PersonId : 952182

University of Oxford

Arnaud Carayol

Fonction : Auteur
PersonId : 18018
IdHAL : arnaud-carayol
IdRef : 113630891

Laboratoire d'Informatique Gaspard-Monge

John Fearnley

Fonction : Auteur

University of Liverpool

Hugo Gimbert

Fonction : Auteur
PersonId : 6953
IdHAL : hugo-gimbert
ORCID : 0000-0003-1227-9718
IdRef : 113151918

Laboratoire Bordelais de Recherche en Informatique

Florian Horn

Fonction : Auteur
PersonId : 1118878
IdHAL : florian-horn
ORCID : 0000-0001-8872-4705
IdRef : 142532223

Institut de Recherche en Informatique Fondamentale

Rasmus Ibsen-Jensen

Fonction : Auteur
PersonId : 1000542

University of Liverpool

Nicolas Markey

Fonction : Auteur
PersonId : 2693
IdHAL : nicolas-markey
ORCID : 0000-0003-1977-7525
IdRef : 073426482

SUpervision of large MOdular and distributed systems

Benjamin Monmege

Fonction : Auteur
PersonId : 5434
IdHAL : benjamin-monmege
ORCID : 0000-0002-4717-9955
IdRef : 176828885

Modélisation et Vérification

Petr Novotny

Fonction : Auteur
PersonId : 1172300

IBM

Mickael Randour

Fonction : Auteur
PersonId : 1292756
ORCID : 0000-0001-8777-2385

Université de Mons / University of Mons

Ocan Sankur

Fonction : Auteur
PersonId : 741359
IdHAL : ocan-sankur

SUpervision of large MOdular and distributed systems

Sylvain Schmitz

Fonction : Auteur
PersonId : 617
IdHAL : sylvain-schmitz
ORCID : 0000-0002-4101-4308
IdRef : 122252020

Institut universitaire de France

Institut de Recherche en Informatique Fondamentale

Olivier Serre

Fonction : Auteur
PersonId : 1118
IdHAL : olivier-serre
ORCID : 0000-0001-5936-240X
IdRef : 089054407

Institut de Recherche en Informatique Fondamentale

Mateusz Skomra

Fonction : Auteur
PersonId : 750658
IdHAL : mateusz-skomra
ORCID : 0000-0001-5650-5559

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.

Mots clés

Computer Science and Game Theory (cs.GT) Formal Languages and Automata Theory (cs.FL) Logic in Computer Science (cs.LO)

Domaines

Informatique et théorie des jeux [cs.GT]

Fichier principal

2305.10546.pdf (8.4 Mo)

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 : jeudi 19 décembre 2024-16:50:04

Dates et versions

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

Licence

Paternité

Identifiants

HAL Id : hal-04273394 , version 1
ARXIV : 2305.10546
DOI : 10.48550/arXiv.2305.10546

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

410 Consultations

201 Téléchargements

Games on Graphs

Résumé

Mots clés

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager