2000 character limit reached
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Published 29 Sep 2023 in cs.FL, cs.CC, and cs.LO | (2309.17318v1)
Abstract: This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to bring together researchers from academia and industry who 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
