Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
type: Item
instance of: scholarly article
title: Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
zbMATH Open document ID: 1547.6834
DOI: 10.1007/978-3-030-99527-0_7
author: Vojtěch Havlena
author: Ondřej Lengál
author: Q6485616
publication date: 2024-02-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7798023
MaRDI profile type: Publication
cites work: A Simple and Optimal Complementation Algorithm for Büchi Automata
cites work: Complementing semi-deterministic Büchi automata
cites work: Seminator 2 can complement generalized Büchi automata via improved semi-determinization
cites work: Q4539644
cites work: Improved Ramsey-Based Büchi Complementation
cites work: Q5525343
cites work: Simulations in rank-based Büchi automata complementation
cites work: Büchi Complementation and Size-Change Termination
cites work: BÜCHI COMPLEMENTATION MADE TIGHTER
cites work: Correct Hardware Design and Verification Methods
cites work: Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation
cites work: Complementation, Disambiguation, and Determinization of Büchi Automata Unified
cites work: On Minimal Odd Rankings for Büchi Complementation
cites work: On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
cites work: Weak alternating automata are not that weak
cites work: Complementing deterministic Büchi automata in polynomial time
cites work: Learning to Complement Büchi Automata
cites work: Q5021011
cites work: New Optimizations and Heuristics for Determinization of Büchi Automata
cites work: Advanced automata minimization
cites work: Q4255591
cites work: From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
cites work: An Improved Construction of Deterministic Omega-automaton Using Derivatives
cites work: Büchi Complementation Made Tight
cites work: The complementation problem for Büchi automata with applications to temporal logic
cites work: Experimental Evaluation of Classical Automata Constructions
cites work: State of Büchi Complementation
cites work: Q3086936
cites work: Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
description: scientific article; zbMATH DE number 7798023