Büchi Store: An Open Repository of Büchi Automata

DOI10.1007/978-3-642-19835-9_23zbMath1316.68078OpenAlexW1566259690MaRDI QIDQ3000654

Ming-Hsien Tsai, Yi-Wen Chang, Jinn-Shu Chang, Yih-Kuen Tsay

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)

Related Items (4)

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 ⋮ A novel learning algorithm for Büchi automata based on family of DFAs and classification trees ⋮ Unnamed Item

Uses Software

• SPIN
• LTL2BA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complementation problem for Büchi automata with applications to temporal logic
• Complementation, Disambiguation, and Determinization of Büchi Automata Unified
• Weak alternating automata are not that weak
• Büchi Complementation Made Tight
• GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic

This page was built for publication: Büchi Store: An Open Repository of Büchi Automata