Exponential time algorithms for deciding regular games
From MaRDI portal
Cites work
- A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
- Automata, logics, and infinite games. A guide to current research
- Deciding parity games in quasipolynomial time
- Down the Borel hierarchy: solving Muller games via safety games
- Explicit Muller games are PTIME
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- Generic emptiness check for fun and profit
- scientific article; zbMATH DE number 1696528 (Why is no real title available?)
- scientific article; zbMATH DE number 3492660 (Why is no real title available?)
- scientific article; zbMATH DE number 1953100 (Why is no real title available?)
- scientific article; zbMATH DE number 2081020 (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
- Mathematical Foundations of Computer Science 2005
- McNaughton games and extracting strategies for concurrent programs
- Network control games played on graphs
- Simple and tight complexity lower bounds for solving Rabin games
- Solving parity games via priority promotion
- Synthesizing permissive winning strategy templates for parity games
- The Complexity of Tree Automata and Logics of Programs
- Topological network-control games
- Why These Automata Types?
This page was built for publication: Exponential time algorithms for deciding regular games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7262278)
