Solving μ-Calculus Parity Games by Symbolic Planning

DOI10.1007/978-3-642-00431-5_2MaRDI QIDQ3614877zbMATH OpenOpenAlexFDO

Authors Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner

Publication date 17 March 2009

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00431-5_2

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7455738
• Solving parity games: explicit vs symbolic
• A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
• Symbolic computational techniques for solving games
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 2086664
• Parity games and automata for game logic
• Symbolic verification and strategy synthesis for turn-based stochastic games

Cites work

• A deterministic subexponential algorithm for solving parity games
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• A Multi-Core Solver for Parity Games
• An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Fast and simple nested fixpoints
• scientific article; zbMATH DE number 1670778 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 1962853 (Why is no real title available?)
• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• scientific article; zbMATH DE number 2102695 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Infinite games played on finite graphs
• On the synthesis of strategies in infinite games
• Solving Parity Games in Big Steps
• STACS 2004
• Symbolic computational techniques for solving games
• Symbolic synthesis of finite-state controllers for request-response specifications
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(4)

• Certification for -calculus with winning strategies
• A comparison of BDD-based parity game solvers
• scientific article; zbMATH DE number 7455738 (Why is no real title available?)
• Improved set-based symbolic algorithms for parity games

Describes a project that uses

Uses Software

• MetaGame
• GDL

This page was built for publication: Solving μ-Calculus Parity Games by Symbolic Planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614877)