Search results
From MaRDI portal
- https://portal.mardi4nfdi.de/entity/Q5092384 2022-07-21 Paper Deciding Parity Games in Quasi-polynomial Time 2022-05-03 Paper Learnability and positive equivalence...10 bytes (17 words) - 10:49, 11 December 2023
- Mean-Payoff Games via Quasi Dominions 2021-11-10 Paper Robust worst cases for parity games algorithms 2020-05-26 Paper Solving Parity Games via Priority...10 bytes (16 words) - 19:13, 24 September 2023
- de/entity/Q5015276 2021-12-07 Paper Improving parity games in practice 2021-08-02 Paper Hierarchical cost-parity games 2020-11-06 Paper Alternating-time temporal...10 bytes (16 words) - 19:35, 24 September 2023
- Paper Static Analysis of Parity Games: Alternating Reachability Under Parity 2016-03-23 Paper The Rabin index of parity games: its complexity and approximation...10 bytes (20 words) - 11:27, 24 September 2023
- Paper Improving parity games in practice 2021-08-02 Paper Solving parity games: explicit vs symbolic 2018-11-07 Paper Solving Parity Games Using an Automata-Based...10 bytes (18 words) - 16:30, 24 September 2023
- Construction for Parity Games with Imperfect Information 2008-11-25 Paper DAG-Width and Parity Games 2008-03-19 Paper Admissibility in Infinite Games 2007-09-03...10 bytes (17 words) - 02:00, 7 October 2023
- for parity games algorithms 2020-05-26 Paper On the decidability of linear bounded periodic cyber-physical systems 2019-10-22 Paper Solving Parity Games...10 bytes (16 words) - 03:06, 25 September 2023
- multi-actions 2023-03-20 Paper Family-Based SPL Model Checking Using Parity Games with Variability 2022-10-13 Paper Off-the-shelf automated analysis of...10 bytes (20 words) - 19:33, 12 December 2023
- Solving Parity Games via Priority Promotion 2019-05-03 Paper A delayed promotion policy for parity games 2018-09-27 Paper Solving parity games via priority...10 bytes (16 words) - 15:14, 6 October 2023
- mean-payoff games 2011-05-23 Paper The Complexity of Partial-Observation Parity Games 2010-10-12 Paper Strategy construction for parity games with imperfect...10 bytes (16 words) - 18:51, 6 October 2023
- Paper Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\) 2016-06-09 Paper Fixed-Dimensional Energy Games are in Pseudo-Polynomial...10 bytes (16 words) - 15:29, 6 October 2023
- Reachability and Parity Games 2014-10-14 Paper Probabilistic opacity for Markov decision processes 2014-10-07 Paper Qualitative Concurrent Parity Games: Bounded...10 bytes (17 words) - 15:16, 6 October 2023
- Protocol 2009-10-16 Paper Simulation Relations for Alternating Parity Automata and Parity Games 2009-03-26 Paper A characterization of first-order topological...10 bytes (16 words) - 06:44, 9 December 2023
- Bidding Games 2020-02-11 Paper Dynamic resource allocation games 2020-01-22 Paper What good are digital clocks? 2019-12-04 Paper Bidding games on Markov...10 bytes (19 words) - 04:39, 9 December 2023
- INFINITE GAMES 2013-01-18 Paper Improved Ramsey-Based Büchi Complementation 2012-06-22 Paper Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games...10 bytes (16 words) - 13:52, 24 September 2023
- STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME 2010-06-18 Paper Solving Parity Games in Practice 2009-12-01 Paper...10 bytes (17 words) - 10:04, 6 October 2023
- de/entity/Q5002778 2021-07-28 Paper New deterministic algorithms for solving parity games 2019-01-14 Paper The Smoothed Number of Pareto-Optimal Solutions in Non-integer...10 bytes (16 words) - 21:28, 24 September 2023
- ∞)-isometric operator tuples on normed spaces 2015-10-30 Paper Solving Parity Games on the GPU 2014-07-08 Paper On the second parameter of an \((m, p)\)-isometry...10 bytes (20 words) - 21:52, 11 December 2023
- Logic 2014-10-14 Paper On Promptness in Parity Games 2014-01-17 Paper Automata-theoretic decision of timed games 2013-12-10 Paper Pushdown module checking...10 bytes (17 words) - 12:14, 7 October 2023
- nonmonotonic consequence relations and convex geometries 2020-05-26 Paper Parity games and automata for game logic 2018-04-12 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 05:13, 12 December 2023