Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification

TL;DR

The GandALF 2018 symposium proceedings compile recent research on automata, logic, games, and formal verification, fostering interdisciplinary collaboration in complex system analysis and verification.

Contribution

This volume presents a collection of recent advances in automata, logic, and game theory applied to formal verification, highlighting interdisciplinary approaches and international collaboration.

Findings

Diverse new methods in automata and logic for system verification

Innovative game-theoretic approaches to formal methods

Enhanced tools for complex system analysis

Abstract

This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbr\"ucken, Germany, from the 26th to the 28th of September 2018. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.