Search results
From MaRDI portal
- automata connectives 2013-09-09 Paper A tighter analysis of Piterman's Büchi determinization 2010-08-20 Paper Axiomatizing Extended Temporal Logic Fragments Via...10 bytes (16 words) - 11:53, 7 October 2023
- Relation Analysis 2011-05-19 Paper A tighter analysis of Piterman's Büchi determinization 2010-08-20 Paper Existence of a nontrivial weak solution to quasilinear...10 bytes (17 words) - 10:59, 7 October 2023
- Evaluating Efficient Büchi Universality Checking 2019-07-24 Paper Profile trees for Büchi word automata, with application to determinization 2015-12-07 Paper...10 bytes (17 words) - 11:27, 24 September 2023
- Probabilistic Reachability Constraints 2022-10-13 Paper Determinization and limit-determinization of Emerson-Lei automata 2022-06-22 Paper Probabilistic...10 bytes (16 words) - 09:41, 6 October 2023
- regularity in probabilistic Büchi automata 2020-09-23 Paper New Optimizations and Heuristics for Determinization of Büchi Automata 2020-07-20 Paper Flat...10 bytes (16 words) - 17:58, 24 September 2023
- next-time operator 2016-06-01 Paper Profile trees for Büchi word automata, with application to determinization 2015-12-07 Paper Deciding strategy properties of...10 bytes (16 words) - 06:44, 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
- automata 2011-04-01 Paper Determinization of weighted finite automata over strong bimonoids 2010-09-08 Paper Kleene and Büchi Theorems for Weighted Automata...10 bytes (16 words) - 09:57, 8 December 2023
- 2022-08-19 Paper Seminator 2 can complement generalized Büchi automata via improved semi-determinization 2021-02-09 Paper Generic Emptiness Check for Fun and...10 bytes (18 words) - 01:07, 25 September 2023
- Publication Date of Publication Type Observations on determinization of Büchi automata 2007-01-09 Paper Implementation and Application of Automata 2006-11-13...10 bytes (18 words) - 11:15, 24 September 2023
- 2023-08-17 Paper Seminator 2 can complement generalized Büchi automata via improved semi-determinization 2021-02-09 Paper Qualitative controller synthesis for...10 bytes (16 words) - 02:00, 25 September 2023
- Synthesis in Request-Response Games 2008-11-20 Paper Observations on determinization of Büchi automata 2007-01-09 Paper Implementation and Application of Automata...10 bytes (16 words) - 11:15, 24 September 2023
- Publication Date of Publication Type Determinization and limit-determinization of Emerson-Lei automata 2022-06-22 Paper Modeling role-based systems with...10 bytes (16 words) - 05:49, 7 October 2023
- protocols 2015-09-17 Paper Complementation, Disambiguation, and Determinization of Büchi Automata Unified 2008-08-28 Paper A Dolev-Yao-Based Definition...10 bytes (16 words) - 11:12, 6 October 2023
- 2021-04-07 Paper Seminator 2 can complement generalized Büchi automata via improved semi-determinization 2021-02-09 Paper https://portal.mardi4nfdi.de/entity/Q5146593...10 bytes (16 words) - 12:52, 6 October 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
- 2010-01-14 Paper On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata 2009-01-27 Paper Pushdown Module Checking with Imperfect...10 bytes (16 words) - 03:21, 25 September 2023
- de/entity/Q4273664 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...10 bytes (17 words) - 14:37, 7 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4471725 2004-07-30 Paper Determinization of Büchi-Automata 2003-07-16 Paper https://portal.mardi4nfdi.de/entity/Q2722021...10 bytes (16 words) - 21:56, 10 December 2023
- Admissibility in Probabilistic Argumentation 2022-08-02 Paper Determinization and limit-determinization of Emerson-Lei automata 2022-06-22 Paper Probabilistic...10 bytes (17 words) - 01:51, 9 December 2023
