State of Büchi complementation
From MaRDI portal
Recommendations
Cited in
(19)- Büchi complementation made tight
- Büchi Complementation and Size-Change Termination
- On the power of finite ambiguity in Büchi complementation
- Modular mix-and-match complementation of Büchi automata
- State of Büchi complementation
- Complementing Büchi Automata with Ranker
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
- A simple and optimal complementation algorithm for Büchi automata
- Good-for-MDPs automata for probabilistic analysis and reinforcement learning
- Büchi Store: an open repository of Büchi automata
- Büchi complementation and size-change termination
- Unifying Büchi complementation constructions
- FORQ-Based Language Inclusion Formal Testing
- Improved Ramsey-based Büchi complementation
- Unifying Büchi complementation constructions
- Towards a grand unification of Büchi complementation constructions
- Simulations in rank-based Büchi automata complementation
- Learning to complement Büchi automata
- scientific article; zbMATH DE number 7455748 (Why is no real title available?)
This page was built for publication: State of Büchi complementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938766)
