scientific article

MaRDI QIDQ3384882

Wieger Wesselink, Lisette Sanchez, Tim A. C. Willemse

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03097

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Infinite games played on finite graphs
• Fast and simple nested fixpoints
• Games for synthesis of controllers with partial observation.
• Parameterised Boolean equation systems
• Solving Parity Games Using an Automata-Based Algorithm
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Solving μ-Calculus Parity Games by Symbolic Planning
• Solving Parity Games in Practice
• Branching Programs and Binary Decision Diagrams
• Solving Parity Games via Priority Promotion
• Deciding parity games in quasipolynomial time
• Improved Set-Based Symbolic Algorithms for Parity Games
• STACS 2004
• An Overview of the mCRL2 Toolset and Its Recent Advances
• An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games

This page was built for publication: