Search results
From MaRDI portal
- Paper A survey on Büchi's problem: new presentations and open problems 2014-01-16 Paper Polynomial parametrizations of length 4 Büchi sequences 2011-10-14...10 bytes (16 words) - 17:20, 11 December 2023
- Property Value MaRDI profile type MaRDI person profile instance of human...10 bytes (16 words) - 11:12, 11 December 2023
- approach of translating LTL formulae into Büchi automata 2018-12-19 Paper Degeneralization algorithm for generation of Büchi automata based on contented situation...10 bytes (17 words) - 02:27, 11 December 2023
- 2009-02-12 Paper The analogue of Büchi's problem for cubes in rings of polynomials 2008-11-14 Paper THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS...10 bytes (16 words) - 17:20, 11 December 2023
- characteristic 2014-05-12 Paper A survey on Büchi's problem: new presentations and open problems 2014-01-16 Paper Büchi's problem for ultrametric meromorphic functions...10 bytes (17 words) - 17:20, 11 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
- 2012-04-03 Paper State of Büchi Complementation 2011-02-11 Paper Efficient Büchi Universality Checking 2010-04-27 Paper Büchi Complementation and Size-Change...10 bytes (17 words) - 11:27, 24 September 2023
- semi-deterministic Büchi automata 2019-09-17 Paper State of B\"uchi Complementation 2015-01-15 Paper Büchi Store: An Open Repository of Büchi Automata 2011-05-19...10 bytes (18 words) - 09:41, 6 October 2023
- Towards a grand unification of Büchi complementation constructions 2023-08-10 Paper On the power of finite ambiguity in Büchi complementation 2023-05-19 Paper...10 bytes (17 words) - 18:00, 24 September 2023
- Publication Date of Publication Type Büchi Store: An Open Repository of Büchi Automata 2011-05-19 Paper Tool support for learning Büchi automata and linear temporal...10 bytes (18 words) - 21:53, 21 September 2023
- B\"uchi Complementation 2015-01-15 Paper Büchi Store: An Open Repository of Büchi Automata 2011-05-19 Paper State of Büchi Complementation 2011-02-11 Paper AUTOMATED...10 bytes (18 words) - 07:27, 7 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
- 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
- Parity Games, and State Space Reduction for Büchi Automata 2005-09-16 Paper Simulation relations for alternating Büchi automata 2005-06-30 Paper Nesting until...10 bytes (16 words) - 06:44, 9 December 2023
- Publication Type Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata 2010-05-07 Paper Simulation...10 bytes (16 words) - 07:39, 7 October 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) - 01:07, 25 September 2023
- with regular constraints 2023-08-17 Paper A novel learning algorithm for Büchi automata based on family of DFAs and classification trees 2021-11-25 Paper...10 bytes (18 words) - 20:22, 6 October 2023
- algorithm for Markov decision processes with Büchi objectives 2015-02-24 Paper Improved Upper and Lower Bounds for Büchi Disambiguation 2014-07-08 Paper Symbolic...10 bytes (17 words) - 17:09, 6 October 2023
- zbMath Open buchi.martinMaRDI QIDQ4522243 No records found. This page was built for person: Martin Büchi...10 bytes (16 words) - 00:03, 28 December 2023
- zbMath Open buchi.wernerMaRDI QIDQ1063669 No records found. This page was built for person: Werner Büchi...10 bytes (16 words) - 04:58, 23 September 2023