×

zbMATH — the first resource for mathematics

Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. (English) Zbl 1436.68031
Electronic Proceedings in Theoretical Computer Science (EPTCS) 305. Waterloo: Open Publishing Association (OPA). 182 p., electronic only, open access (2019).
From the preface: This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2019.
The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1436.68032].
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q45 Formal languages and automata
68Q60 Specification and verification (program logics, model checking, etc.)
91A80 Applications of game theory
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI Link