Follow
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in B\"{u}chi Automata Complementation (Technical Report). (arXiv:2110.10187v1 [cs.LO]) http://arxiv.org/abs/2110.10187
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in B\"{u}chi Automata Complementation (Technical Report). (arXiv:2110.10187v1 [cs.LO]) http://arxiv.org/abs/2110.10187