Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification

TL;DR

This collection of papers from GandALF 2016 presents recent advances in automata theory, formal verification, and game theory, showcasing new algorithms, methods, and theoretical insights in these interconnected fields.

Contribution

The proceedings introduce novel algorithms, theoretical frameworks, and verification techniques across automata, logic, and game theory, advancing the state of research in formal methods.

Findings

New algorithms for automata and logic verification

Enhanced methods for synthesis and dynamic logics

Insights into algorithmic game theory applications

Abstract

This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, Italy, from the 14th to the 16th of September 2016. The proceedings of the symposium contain abstracts of the 3 invited talks and 21 full papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers cover algorithmic game theory, automata theory, synthesis, formal verification, and dynamic, modal and temporal logics.