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

DOI10.4230/LIPICS.FSTTCS.2009.2302zbMATH Open1248.68280MaRDI QIDQ2920108FDOQ2920108

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (4)

• Title not available (Why is that?)
• Büchi automata can have smaller quotients
• Mediating for reduction (on minimizing alternating Büchi automata)
• Minimization of visibly pushdown automata using partial Max-SAT

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