Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification

2015/09/23 by Javier Esparza, Enrico Tronci · 10 citations
Computer Science · #cs.LO #cs.FL

paper · pdf · doi:10.4204/eptcs.193

published as EPTCS 193, 2015

arxiv created 2015/09/23 · arxiv updated 2015/09/24

Abstract

This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy, on the 21st and 22nd of September 2015. The proceedings of the symposium contain the abstracts of three invited talks and 13 papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers cover algorithmic game theory, automata theory, formal verification, and modal and temporal logics.

Cited by

• Making the Best of Limited Memory in Multi-Player Discounted Sum Games
• Negotiation Games
• Synchronous Subsequentiality and Approximations to Undecidable Problems
• Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs
• Well Structured Transition Systems with History
• The expressive power of modal logic with inclusion atoms
• Average-energy games
• Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL
• Improvement in Small Progress Measures
• ATLsc with partial observation
• An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects

Related

• Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification