scientific article; zbMATH DE number 4179361

MaRDI QIDQ3203012zbMATH OpenFDO

Authors E. Allen Emerson, C. S. Jutla

Publication date 1989

zbMATH Keywords

decision procedures\(\omega \) -automataBüchi automaton on infinite stringsmodal logics of programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• BÜCHI COMPLEMENTATION MADE TIGHTER
• Automated Technology for Verification and Analysis
• Büchi complementation made tight
• On the complementation of Büchi automata
• Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition

Cited in

(16)

• Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition
• Automated temporal reasoning about reactive systems
• Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
• scientific article; zbMATH DE number 1189125 (Why is no real title available?)
• Progress measures, immediate determinacy, and a subset construction for tree automata
• Fixed point characterization of infinite behavior of finite-state systems
• Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
• Linear temporal logic -- from infinite to finite horizon
• Can nondeterminism help complementation?
• Games for the -calculus
• Deternimization of Büchi automata as partitioned automata
• Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
• Short Witnesses and Accepting Lassos in ω-Automata
• An automata-theoretic approach to linear temporal logic
• Fast symbolic algorithms for omega-regular games under strong transition fairness
• Determinization and Complementation of Streett Automata

This page was built for publication:

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