On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata
From MaRDI portal
Publication:5505553
Recommendations
Cited in
(6)- Translating to co-Büchi made tight, unified, and useful
- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
- On the Succinctness of Nondeterminism
- A power-set construction for reducing Büchi automata to non-determinism degree two
- The quest for a tight translation of Büchi to co-Büchi automata
- Co-Büching them all
This page was built for publication: On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505553)