Learning to complement Büchi automata
From MaRDI portal
Publication:3296336
Recommendations
Cited in
(6)- Learn with SAT to minimize Büchi automata
- Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
- Simulations in rank-based Büchi automata complementation
- Modular mix-and-match complementation of Büchi automata
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Compositional learning for interleaving parallel automata
This page was built for publication: Learning to complement Büchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296336)