Degeneralization algorithm for generation of Büchi automata based on contented situation
From MaRDI portal
(Redirected from Publication:327746)
Recommendations
Cites work
- scientific article; zbMATH DE number 1973991 (Why is no real title available?)
- scientific article; zbMATH DE number 1487477 (Why is no real title available?)
- scientific article; zbMATH DE number 1796123 (Why is no real title available?)
- Alternation removal in Büchi automata
- Graph-Based Algorithms for Boolean Function Manipulation
- LTL to Büchi automata translation: fast and more deterministic
- Three SCC-based emptiness checks for generalized Büchi automata
This page was built for publication: Degeneralization algorithm for generation of Büchi automata based on contented situation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q327746)