Search results
From MaRDI portal
- Powerset Domains 2007-09-24 Paper Generalized Parity Games 2007-09-07 Paper Antichains: A New Algorithm for Checking Universality of Finite Automata 2007-09-05...10 bytes (17 words) - 17:49, 10 April 2026
- constructions 2023-08-10 Paper A space-efficient on-the-fly algorithm for real-time model checking 2023-06-28 Paper From linear temporal logics to Büchi automata:...10 bytes (17 words) - 17:58, 10 April 2026
- homotopy proximal mapping algorithm for compressive sensing 2019-06-26 Paper A simple algorithm for solving qualitative probabilistic parity games 2019-05-03 Paper...10 bytes (14 words) - 19:05, 10 April 2026
- automata 2019-09-17 Paper Parity games with weights 2019-09-13 Paper A simple algorithm for solving qualitative probabilistic parity games 2019-05-03 Paper...10 bytes (13 words) - 19:05, 10 April 2026
- model checking algorithm 2024-04-19 Paper Neural network-guided synthesis of recursive list functions 2023-12-13 Paper Gradual tensor shape checking 2023-11-24...10 bytes (14 words) - 19:32, 10 April 2026
- local variants 2021-11-09 Paper The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs 2021-04-27 Paper...10 bytes (15 words) - 17:52, 10 April 2026
- Shared-Memory Systems 2018-08-02 Paper Model checking procedural programs 2018-07-20 Paper Model checking population protocols 2018-04-19 Paper Soundness...10 bytes (15 words) - 19:50, 10 April 2026
- Markov Decision Processes 2019-09-17 Paper A simple algorithm for solving qualitative probabilistic parity games 2019-05-03 Paper A comparison of time- and...10 bytes (15 words) - 01:36, 11 April 2026
- deterministic parity automata 2020-08-05 Paper Admissiblity in concurrent games 2020-05-27 Paper Threshold constraints with guarantees for parity objectives...10 bytes (17 words) - 18:41, 10 April 2026
- Publication Date of Publication Type Coalgebraic CTL: fixpoint characterization and polynomial-time model checking 2025-01-20...10 bytes (13 words) - 19:19, 10 April 2026
- Paper Totally odd subdivisions and parity subdivisions: structures and coloring 2019-05-15 Paper A Simple Algorithm for the Graph Minor Decomposition −...10 bytes (17 words) - 18:05, 10 April 2026
- Complexity analysis of a unifying algorithm for model checking interval temporal logic 2023-02-03 Paper Hierarchical cost-parity games 2023-02-03 Paper https://portal...10 bytes (13 words) - 20:34, 10 April 2026
- 2024-12-03 Paper Meta-theorems for parameterized streaming algorithms 2024-11-28 Paper An exact algorithm for knot-free vertex deletion 2024-08-06 Paper Deleting...10 bytes (16 words) - 19:08, 10 April 2026
- representation 2024-05-29 Paper Justifications and a reconstruction of parity game solving algorithms 2023-08-17 Paper Analyzing Semantics of Aggregate Answer Set...10 bytes (14 words) - 11:05, 11 April 2026
- mardi4nfdi.de/entity/Q3384875 2021-12-17 Paper Window parity games: an alternative approach toward parity games with time bounds 2021-12-07 Paper Parameterized...10 bytes (13 words) - 18:10, 10 April 2026
- FO model checking of dense graph classes 2020-09-11 Paper Structure and generation of crossing-critical graphs 2020-08-18 Paper FO model checking of geometric...10 bytes (15 words) - 17:21, 10 April 2026
- Model Checking, and Abstract Interpretation 2009-05-15 Paper Recursive Concurrent Stochastic Games 2009-04-29 Paper Multi-Objective Model Checking of Markov...10 bytes (13 words) - 20:42, 10 April 2026
- games 2012-10-19 Paper Algorithms for solving parity games 2011-10-05 Paper A deterministic subexponential algorithm for solving parity games 2010-08-16 Paper...10 bytes (13 words) - 20:37, 10 April 2026
- satisfiability problem 2017-05-08 Paper Solving parity games using an automata-based algorithm 2016-11-09 Paper Checking interval properties of computations 2016-10-21...10 bytes (13 words) - 22:18, 10 April 2026
- approximation algorithm for the total variation distance between two product distributions 2024-07-03 Paper A simple polynomial-time approximation algorithm for...10 bytes (13 words) - 19:47, 10 April 2026
