Search results
From MaRDI portal
- Explicit Model Checking for Generalized Büchi Automata 2019-09-17 Paper Three SCC-Based Emptiness Checks for Generalized Büchi Automata 2014-01-17 Paper Strength-Based...10 bytes (16 words) - 01:07, 25 September 2023
- Publication Date of Publication Type Converting a Büchi alternating automaton to a usual nondeterministic one 2002-02-18 Paper A new approach to cyclic...10 bytes (16 words) - 16:09, 9 December 2023
- Generalized Büchi Automata 2014-01-17 Paper Implementation Concepts in Vaucanson 2 2013-08-07 Paper Strength-Based Decomposition of the Property Büchi Automaton...10 bytes (18 words) - 01:07, 25 September 2023
- Emptiness Checks for Generalized Büchi Automata 2014-01-17 Paper Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking 2013-08-05...10 bytes (16 words) - 17:29, 21 September 2023
- Explicit Model Checking for Generalized Büchi Automata 2019-09-17 Paper Three SCC-Based Emptiness Checks for Generalized Büchi Automata 2014-01-17 Paper Strength-Based...10 bytes (16 words) - 10:01, 6 October 2023
- 1994-08-28 Paper THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON 1993-11-01 Paper https://portal.mardi4nfdi.de/entity/Q4035259 1993-05-18...10 bytes (17 words) - 14:37, 7 December 2023
- 1995-01-09 Paper THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON 1993-11-01 Paper Languages and scanners 1992-06-26 Paper On translating...10 bytes (16 words) - 18:34, 9 December 2023
- 1994-01-13 Paper THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON 1993-11-01 Paper Another variation on the common subexpression problem...10 bytes (17 words) - 11:08, 9 December 2023
- Projection for Büchi Tree Automata with Constraints between Siblings 2021-04-19 Paper Ambiguity, weakness, and regularity in probabilistic Büchi automata 2020-09-23...10 bytes (17 words) - 22:51, 11 December 2023
- Removal in Büchi Automata 2010-09-07 Paper Three Paths to Effectiveness 2010-09-03 Paper The Quest for a Tight Translation of Büchi to co-Büchi Automata...10 bytes (16 words) - 13:16, 28 January 2024
- superwords 2016-09-07 Paper Degrees of asynchronously automaton transformations 2011-11-21 Paper Automaton transformations and monadic theories of infinite...10 bytes (18 words) - 10:32, 6 October 2023
- 2001-10-31 Paper Computing the prefix of an automaton 2001-07-23 Paper Computing the Rabin Index of a Parity Automaton 2001-04-09 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 05:50, 7 October 2023
- mardi4nfdi.de/entity/Q5111226 2020-05-26 Paper Markov Chains and Unambiguous Büchi Automata 2019-05-03 Paper https://portal.mardi4nfdi.de/entity/Q4558784 2018-11-30...10 bytes (16 words) - 12:40, 28 January 2024
- 2-entropy of coherence for qubit system 2017-12-19 Paper Fuzzy alternating Büchi automata over distributive lattices 2017-11-17 Paper Ordering states with...10 bytes (18 words) - 02:26, 10 December 2023
- case analysis of the classical algorithm for Markov decision processes with Büchi objectives 2015-02-24 Paper Polynomial-time algorithms for energy games with...10 bytes (17 words) - 15:16, 6 October 2023
- Polynomially Generated Sets 2007-09-11 Paper Observations on determinization of Büchi automata 2007-01-09 Paper Implementation and Application of Automata 2006-11-13...10 bytes (16 words) - 11:46, 6 October 2023
- mardi4nfdi.de/entity/Q5144691 2021-01-19 Paper From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata 2020-08-05 Paper https://portal...10 bytes (17 words) - 07:58, 7 October 2023
- D. Reisz Publication date: 7 May 2000 zbMATH Keywords probabilistic Büchi automaton Mathematics Subject Classification ID 68Q45: Formal languages and automata...15 bytes (25 words) - 09:13, 8 February 2024
- 2-tape Büchi automaton; incompleteness theorems; inaccessible cardinals; ``\(\mathbf{ZFC}\) + there exist \(n\) inaccessible cardinals; 1-counter Büchi automaton;...15 bytes (112 words) - 20:58, 4 February 2024
- Cantor space; Büchi automaton; Polish topology; Muller tree automaton; Büchi tree automaton; regular \(\omega\)-language; automatic topology; Büchi topology;...15 bytes (80 words) - 01:42, 9 February 2024
