Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

Vojtěch Havlena, Ondřej Lengál

This paper provides several optimizations of the rank-based approach for complementing Büchi automata. We start with Schewe's theoretically optimal construction and develop a set o…