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

2013/07/16 by Gabriele Puppis, Tiziano Villa · 14 citations
Computer Science · #cs.GT #cs.FL #cs.LO

paper · pdf · doi:10.4204/eptcs.119

published as EPTCS 119, 2013

arxiv created 2013/07/16 · arxiv updated 2013/07/17

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.

Cited by

• Simple strategies for Banach-Mazur games and fairly correct systems
• Upwards Closed Dependencies in Team Semantics
• Social Network Games with Obligatory Product Selection
• Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
• The Rabin index of parity games
• A Faster Tableau for CTL*
• Deciding the Satisfiability of MITL Specifications
• Improving HyLTL model checking of hybrid systems
• Profile Trees for Büchi Word Automata, with Application to Determinization
• Weighted Automata and Monadic Second Order Logic
• Approximating the minimum cycle mean
• Probabilistic data flow analysis: a linear equational approach
• Slot Games for Detecting Timing Leaks of Programs
• Alternating-time temporal logic with finite-memory strategies
• Modularity and Openness in Modeling Multi-Agent Systems
• Satisfiability of ATL with strategy contexts
• Model checking coalitional games in shortage resource scenarios

Related

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