scientific article; zbMATH DE number 1500523
From MaRDI portal
Publication:4501540
Recommendations
Cited in
(only showing first 100 items - show all)- Recursive algorithm for parity games requires exponential time
- Optimal bounds in parametric LTL games
- scientific article; zbMATH DE number 7533361 (Why is no real title available?)
- Succinct progress measures for solving parity games
- Games for verification: Algorithmic issues
- Improving parity games in practice
- Inf-datalog, Modal Logic and Complexities
- Synthesis from component libraries with costs
- scientific article; zbMATH DE number 7089067 (Why is no real title available?)
- Bounded game-theoretic semantics for modal mu-calculus
- Deciding Parity Games in Quasi-polynomial Time
- A superpolynomial lower bound for strategy iteration based on snare memorization
- Automata theory and model checking
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
- The Descriptive Complexity of Parity Games
- A survey of stochastic -regular games
- On the universal and existential fragments of the \(\mu\)-calculus
- Three notes on the complexity of model checking fixpoint logic with chop
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
- scientific article; zbMATH DE number 1810492 (Why is no real title available?)
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- Solving parity games by a reduction to SAT
- Computing Game Values for Crash Games
- scientific article; zbMATH DE number 7445162 (Why is no real title available?)
- Improved complexity analysis of quasi-polynomial algorithms solving parity games
- Dissecting \texttt{ltlsynt}
- Model checking games for the quantitative \(\mu \)-calculus
- The Theory of Universal Graphs for Infinite Duration Games
- A Multi-Core Solver for Parity Games
- Solving parity games via priority promotion
- Controlling a population
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Looking at mean payoff through foggy windows
- Graph operations on parity games and polynomial-time algorithms
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Combinations of Qualitative Winning for Stochastic Parity Games
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Games on Higher Order Multi-stack Pushdown Systems
- Window parity games: an alternative approach toward parity games with time bounds
- An \(O(n^2)\) time algorithm for alternating Büchi games
- Entanglement and the complexity of directed graphs
- Parity game reductions
- Parity games with weights
- Resource-aware automata and games for optimal synthesis
- Synthesis of Reactive(1) designs
- The mu-calculus and Model Checking
- Solving parity games using an automata-based algorithm
- Generic weakest precondition semantics from monads enriched with order
- Permissive strategies: from parity games to safety games
- Undirected Graphs of Entanglement 2
- Quasipolynomial set-based symbolic algorithms for parity games
- A delayed promotion policy for parity games
- Multi-buffer simulations: decidability and complexity
- A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
- The fixpoint-iteration algorithm for parity games
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- scientific article; zbMATH DE number 7453081 (Why is no real title available?)
- Game-based local model checking for the coalgebraic \(\mu\)-calculus
- A delayed promotion policy for parity games
- scientific article; zbMATH DE number 7215285 (Why is no real title available?)
- Priority promotion with Parysian flair
- The Rabin index of parity games: its complexity and approximation
- Polynomial-time under-approximation of winning regions in parity games
- Model Checking Games
- Quasipolynomial computation of nested fixpoints
- Games on Multi-stack Pushdown Systems
- Graph Games and Reactive Synthesis
- Down the Borel hierarchy: solving Muller games via safety games
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
- Matching in security-by-contract for mobile code
- Faster algorithms for mean-payoff games
- Dicing on the Streett
- scientific article; zbMATH DE number 7447737 (Why is no real title available?)
- Solving parity games in big steps
- Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
- Solving mean-payoff games via quasi dominions
- scientific article; zbMATH DE number 7649926 (Why is no real title available?)
- From Parity and Payoff Games to Linear Programming
- On modal -calculus with explicit interpolants
- Parametrized automata simulation and application to service composition
- Solving Parity Games in Big Steps
- The alternation hierarchy in fixpoint logic with chop is strict too
- scientific article; zbMATH DE number 7453080 (Why is no real title available?)
- Concurrent reachability games
- Model checking for hybrid logic
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- Lattice-theoretic progress measures and coalgebraic model checking
- Cooking Your Own Parity Game Preorders Through Matching Plays
- Solving μ-Calculus Parity Games by Symbolic Planning
- A constructive algorithm for max-min paths problems on energy networks
- Robust worst cases for parity games algorithms
- Parameterized Algorithms for Parity Games
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- Strategy logic
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Solving mean-payoff games via quasi dominions
- Justifications and a reconstruction of parity game solving algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501540)
