Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Bchi Automata Complementation.

Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov

Browse the full TACAS paper archive.