Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
Gabriele Puppis, Tiziano Villa
TL;DR
This volume compiles research from GandALF 2013, showcasing advances in game theory, automata, logic, and formal verification through invited talks and peer-reviewed papers.
Contribution
It presents a diverse collection of recent research contributions across multiple topics in formal methods and theoretical computer science.
Findings
New algorithms for automata-based verification
Innovative approaches in game semantics
Advances in modal and temporal logic applications
Abstract
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2013). The symposium took place in Borca di Cadore, Italy, from 29th to 31st of August 2013. The proceedings of the symposium contain the abstracts of three invited talks and 17 papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers range over a wide spectrum, including algorithmic and behavioral game theory, game semantics, formal languages and automata theory, modal and temporal logics, software verification, hybrid systems.
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.