Büchi Store: an open repository of Büchi automata

DOI10.1007/978-3-642-19835-9_23MaRDI QIDQ3000654zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Büchi complementation made tight
• On the complementation of Büchi automata
• State of Büchi complementation
• scientific article; zbMATH DE number 1759609
• Complementation of Büchi Automata Using Alternation

Cites work

• scientific article; zbMATH DE number 1670781 (Why is no real title available?)
• 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?)
• scientific article; zbMATH DE number 2102710 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• 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
• The complementation problem for Büchi automata with applications to temporal logic
• Weak alternating automata are not that weak

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

Describes a project that uses

Uses Software

• LTL2BA
• SPIN

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)