Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos (Reykjavik University), Dario Della Monica, (University of Udine)
TL;DR
The GandALF 2023 symposium proceedings compile recent research spanning theory and applications in Games, Automata, Logics, and Formal Verification, fostering collaboration among academia and industry.
Contribution
This volume presents a comprehensive collection of the latest research contributions from GandALF 2023 across multiple interconnected fields.
Findings
Diverse theoretical advancements in automata and logic.
New applications in formal verification techniques.
Enhanced understanding of game-theoretic models.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.