Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2021-09
Main Authors: Ganty, Pierre, Bresolin, Davide
Format: Article
Language:English
Subjects:
Games
Verification
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
ISSN:2331-8422
DOI:10.48550/arxiv.2109.07798