Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Adriano Peron (Universit\`a di Napoli Federico II), Carla Piazza, (Universit\`a degli Studi di Udine)
TL;DR
This volume compiles research from GandALF 2014, covering advances in game theory, automata, logic, and formal verification, including invited talks and peer-reviewed papers on diverse topics.
Contribution
It presents a collection of recent research papers and invited talks that advance understanding in games, automata, logics, and formal verification fields.
Findings
Diverse algorithmic and behavioral game theory results
Innovations in game semantics and formal languages
Progress in software verification and hybrid systems
Abstract
This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Italy, from 10th to 12th of September 2014. The proceedings of the symposium contain the abstracts of three invited talks and 19 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.