Search results
From MaRDI portal
Did you mean: part checking algorithm
- 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) - 03:39, 9 December 2023
- pushdown automata 2016-11-24 Paper Solving Parity Games Using an Automata-Based Algorithm 2016-11-09 Paper Checking interval properties of computations 2016-10-21...10 bytes (15 words) - 11:14, 7 October 2023
- 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) - 15:48, 24 September 2023
- 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) - 06:56, 7 October 2023
- New Algorithm for Checking Universality of Finite Automata 2007-09-05 Paper Improved Algorithms for the Automata-Based Approach to Model-Checking 2007-09-03...10 bytes (13 words) - 17:51, 6 October 2023
- 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) - 06:50, 9 December 2023
- 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) - 15:50, 9 December 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 (15 words) - 14:16, 6 October 2023
- 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) - 23:31, 9 December 2023
- 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) - 13:05, 7 October 2023
- Automata to Deterministic Parity Automata 2020-08-05 Paper Index Appearance Record for Transforming Rabin Automata into Parity Automata 2020-08-05 Paper...10 bytes (13 words) - 18:37, 12 December 2023
- Paper A deterministic subexponential algorithm for solving parity games 2010-08-16 Paper Linear Complementarity Algorithms for Infinite Games 2010-01-28 Paper...10 bytes (13 words) - 14:29, 6 October 2023
- 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) - 08:08, 25 September 2023
- Paper An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games 2007-11-29 Paper Tools and Algorithms for the Construction and...10 bytes (17 words) - 06:08, 7 October 2023
- and parity conditions via alternating fixed points of functors 2018-10-23 Paper https://portal.mardi4nfdi.de/entity/Q4585069 2018-09-06 Paper Parity Automata...10 bytes (13 words) - 07:07, 7 October 2023
- 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) - 15:34, 24 September 2023
- Paper THE STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME 2010-06-18 Paper Solving Parity Games in Practice 2009-12-01...10 bytes (14 words) - 09:04, 6 October 2023
- Publication Date of Publication Type Coalgebraic CTL: fixpoint characterization and polynomial-time model checking 2025-01-20...10 bytes (13 words) - 00:40, 9 December 2023
- 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) - 09:02, 9 December 2023
- Publication Date of Publication Type History-deterministic timed automata 2024-11-12 Paper Parity games on temporal...10 bytes (13 words) - 17:16, 24 September 2023
