Index Appearance Record for Transforming Rabin Automata into Parity Automata

DOI10.1007/978-3-662-54577-5_26zbMath1452.68108arXiv1701.05738OpenAlexW2582709237MaRDI QIDQ3303907

Jan Křetínský, Clara Waldmann, Tobias Meggendorfer, Maximilian Weininger

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.05738

zbMATH Keywords

parity automataRabin automataappearance recordindex appearancesmall automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Index appearance record with preorders ⋮ Semantic flowers for good-for-games and deterministic automata

Uses Software

• SPOT
• PGSolver
• Rabinizer

Cites Work

• Unnamed Item
• Unnamed Item
• Rabinizer
• Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
• From LTL to deterministic automata. A safraless compositional approach
• An Improved Construction of Deterministic Omega-automaton Using Derivatives
• Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
• Tighter Bounds for the Determinisation of Büchi Automata
• Solving Parity Games in Practice
• Determinization and Complementation of Streett Automata
• Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
• Deterministic generators and games for Ltl fragments
• From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Index Appearance Record for Transforming Rabin Automata into Parity Automata