Büchi Store: an open repository of Büchi automata
DOI10.1007/978-3-642-19835-9_23zbMATH Open1316.68078OpenAlexW1566259690MaRDI QIDQ3000654FDOQ3000654
Authors: Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_23
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The complementation problem for Büchi automata with applications to temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weak alternating automata are not that weak
- Büchi complementation made tight
- Complementation, Disambiguation, and Determinization of Büchi Automata Unified
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Cited In (4)
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys
Uses Software
This page was built for publication: Büchi Store: an open repository of Büchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000654)