A Discrete Subexponential Algorithm for Parity Games
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Small Progress Measures for Solving Parity Games
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Trading Probability for Fairness
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Automata logics, and infinite games
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Bridging the gap between fair simulation and trace inclusion
Information and Computation
On the universal and existential fragments of the μ-calculus
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
The alternation hierarchy in fixpoint logic with chop is strict too
Information and Computation
A Multi-Core Solver for Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Solving μ-Calculus Parity Games by Symbolic Planning
Model Checking and Artificial Intelligence
Bridging the gap between fair simulation and trace inclusion
Information and Computation
On the universal and existential fragments of the µ-calculus
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Solving parity games by a reduction to SAT
Journal of Computer and System Sciences
On deciding topological classes of deterministic tree languages
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.89 |