No. Title Author Year
1 Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes Ohlmann, Pierre et al. 2023
2 Characterising Memory in Infinite Games Casares, Antonio et al. 2023
3 Flipper Games for Monadically Stable Graph Classes Gajarský, Jakub et al. 2023
4 A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games Thejaswini, K. S. et al. 2022
5 Lower Bounds for Arithmetic Circuits via the Hankel Matrix Fijalkow, Nathanaël et al. 2020
6 Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games Fijalkow, Nathanaël et al. 2020
7 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 7

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI