Introduces Emerson-Lei elevator automata and a complementation algorithm with better asymptotic complexity than known methods for unrestricted Emerson-Lei automata.
In: Shoham, S., Vizel, Y
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
Kofola implements a modular SCC-based complementation framework for Büchi automata plus a new on-the-fly emptiness check, showing competitive or superior performance on practical benchmarks.
citing papers explorer
-
Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report)
Kofola implements a modular SCC-based complementation framework for Büchi automata plus a new on-the-fly emptiness check, showing competitive or superior performance on practical benchmarks.