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

2014/08/24 by Adriano Peron, Carla Piazza · 16 citations
Computer Science · #cs.GT #cs.FL #cs.LO

paper · pdf · doi:10.4204/eptcs.161

published as EPTCS 161, 2014

arxiv created 2014/08/24 · arxiv updated 2014/08/26

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.

Cited by

• Some Turing-Complete Extensions of First-Order Logic
• Petri Games: Synthesis of Distributed Systems with Causal Memory
• The Hardness of Finding Linear Ranking Functions for Lasso Programs
• Kleene Algebras, Regular Languages and Substructural Logics
• Parametric Linear Dynamic Logic
• On the Path-Width of Integer Linear Programming
• Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
• Interval-based Synthesis
• The Fixpoint-Iteration Algorithm for Parity Games
• Model Checking Paxos in Spin
• Infinite Networks, Halting and Local Algorithms
• A Formulation of the Potential for Communication Condition using C2KA
• Hourglass Automata
• Deterministic Automata for Unordered Trees
• Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
• Improved Undecidability Results for Reachability Games on Recursive Timed Automata
• Visibly Pushdown Modular Games
• Tree games with regular objectives
• Complexity of validity for propositional dependence logics

Related

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