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

Books Year : 2024

Games on Graphs

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

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

Nathanaël Fijalkow

Function : Scientific advisor
PersonId : 183257
IdHAL : nathanael-fijalkow
ORCID : 0000-0002-6576-4680
IdRef : 263654664

Laboratoire Bordelais de Recherche en Informatique

Nathalie Bertrand

Function : Author

SUpervision of large MOdular and distributed systems

Patricia Bouyer

Function : Author
PersonId : 174420
IdHAL : patricia-bouyer
ORCID : 0000-0002-2823-0911
IdRef : 176675426

Laboratoire Méthodes Formelles

Romain Brenguier

Function : Author
PersonId : 952182

University of Oxford

Arnaud Carayol

Function : Author
PersonId : 18018
IdHAL : arnaud-carayol
IdRef : 113630891

Laboratoire d'Informatique Gaspard-Monge

John Fearnley

Function : Author

University of Liverpool

Hugo Gimbert

Function : Author
PersonId : 6953
IdHAL : hugo-gimbert
ORCID : 0000-0003-1227-9718
IdRef : 113151918

Laboratoire Bordelais de Recherche en Informatique

Florian Horn

Function : Author
PersonId : 1118878
IdHAL : florian-horn
ORCID : 0000-0001-8872-4705
IdRef : 142532223

Institut de Recherche en Informatique Fondamentale

Rasmus Ibsen-Jensen

Function : Author
PersonId : 1000542

University of Liverpool

Nicolas Markey

Function : Author
PersonId : 2693
IdHAL : nicolas-markey
ORCID : 0000-0003-1977-7525
IdRef : 073426482

SUpervision of large MOdular and distributed systems

Benjamin Monmege

Function : Author
PersonId : 5434
IdHAL : benjamin-monmege
ORCID : 0000-0002-4717-9955
IdRef : 176828885

Modélisation et Vérification

Petr Novotny

Function : Author
PersonId : 1172300

IBM

Mickael Randour

Function : Author
PersonId : 1292756
ORCID : 0000-0001-8777-2385

Université de Mons / University of Mons

Ocan Sankur

Function : Author
PersonId : 741359
IdHAL : ocan-sankur

SUpervision of large MOdular and distributed systems

Sylvain Schmitz

Function : Author
PersonId : 617
IdHAL : sylvain-schmitz
ORCID : 0000-0002-4101-4308
IdRef : 122252020

Institut universitaire de France

Institut de Recherche en Informatique Fondamentale

Olivier Serre

Function : Author
PersonId : 1118
IdHAL : olivier-serre
ORCID : 0000-0001-5936-240X
IdRef : 089054407

Institut de Recherche en Informatique Fondamentale

Mateusz Skomra

Function : Author
PersonId : 750658
IdHAL : mateusz-skomra
ORCID : 0000-0001-5650-5559

Equipe Polynomial OPtimization

Abstract

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

Keywords

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

Domains

Computer Science and Game Theory [cs.GT]

Fichier principal

2305.10546.pdf (8.4 Mo)

Origin : Files produced by the author(s)
licence : CC BY - Attribution

Nathanaël Fijalkow : Connect in order to contact the contributor

https://hal.science/hal-04273394

Submitted on : Thursday, November 9, 2023-9:14:29 PM

Last modification on : Thursday, May 16, 2024-3:00:05 PM

Dates and versions

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

Licence

Attribution

Identifiers

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

Cite

Nathanaël Fijalkow (Dir.). Games on Graphs: From Logic and Automata to Algorithms. pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩. ⟨hal-04273394⟩

Export

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 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

130 View

50 Download

Games on Graphs

Abstract

Keywords

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share