Mediating for reduction (on minimizing alternating Büchi automata)

DOI10.1016/J.TCS.2014.08.003MaRDI QIDQ740970zbMATH OpenOpenAlexFDO

Authors Parosh A. Abdulla, Yu-Fang Chen, Lukáš Holik, Tomáš Vojnar

Publication date 10 September 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.08.003

zbMATH Keywords

simulationquotientreductionalternating Büchi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Mediating for reduction (on minimizing alternating Büchi automata)
• scientific article; zbMATH DE number 1954381
• Simulation relations for alternating Büchi automata
• Minimising deterministic Büchi automata precisely using SAT solving
• Minimizing Generalized Büchi Automata

Cites work

• scientific article; zbMATH DE number 1670781 (Why is no real title available?)
• scientific article; zbMATH DE number 1954381 (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• A uniform (bi-)simulation-based framework for reducing tree automata
• Automata-Theoretic Model Checking Revisited
• Computing Simulations over Tree Automata
• Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
• Mediating for reduction (on minimizing alternating Büchi automata)
• On complementing nondeterministic Büchi automata
• Simulation relations for alternating Büchi automata
• Weak alternating automata are not that weak

Cited in

(3)

• scientific article; zbMATH DE number 1954381 (Why is no real title available?)
• Modular mix-and-match complementation of Büchi automata
• Mediating for reduction (on minimizing alternating Büchi automata)

Describes a project that uses

Uses Software

• LTL2BA
• GOAL

This page was built for publication: Mediating for reduction (on minimizing alternating Büchi automata)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q740970)