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

DOI10.4230/LIPICS.FSTTCS.2009.2302MaRDI QIDQ2920108zbMATH OpenFDO

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

Publication date 24 October 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_37a1.html

zbMATH Keywords

alternating automataautomata minimizationsimulation preorderforward and backward simulationBüchi automataBüchi automata complementation

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
• Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
• Minimizing Generalized Büchi Automata

Cited in

(4)

• Minimization of visibly pushdown automata using partial Max-SAT
• scientific article; zbMATH DE number 1954381 (Why is no real title available?)
• Büchi automata can have smaller quotients
• Mediating for reduction (on minimizing alternating Büchi automata)

Describes a project that uses

Uses Software

• GOAL
• LTL2BA

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 Q2920108)