PGSolver
From MaRDI portal
Software:25960
No author found.
Source code repository: https://github.com/tcsprojects/pgsolver
Related Items (37)
Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Symmetric Strategy Improvement ⋮ TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING ⋮ Runtime enforcement of hyperproperties ⋮ Haydi: rapid prototyping and combinatorial objects ⋮ Parity game reductions ⋮ Deciding Parity Games in Quasi-polynomial Time ⋮ Robust worst cases for parity games algorithms ⋮ An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms ⋮ Index appearance record with preorders ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ The Rabin index of parity games: its complexity and approximation ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Graph operations on parity games and polynomial-time algorithms ⋮ Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis ⋮ Index Appearance Record for Transforming Rabin Automata into Parity Automata ⋮ Solving parity games via priority promotion ⋮ THE STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME ⋮ Solving Parity Games on the GPU ⋮ Using the compatibility analysis of logical specifications of automata to solve game problems ⋮ Verification of reactive systems via instantiation of parameterised Boolean equation systems ⋮ A delayed promotion policy for parity games ⋮ Unnamed Item ⋮ Improving parity games in practice ⋮ Solving Parity Games Using an Automata-Based Algorithm ⋮ Unnamed Item ⋮ Recursive algorithm for parity games requires exponential time ⋮ Improving parity game solvers with justifications ⋮ Satisfiability Games for Branching-Time Logics
This page was built for software: PGSolver
