@inproceedings{10.1007/978-3-031-13188-2_10,
    Abstract = {We present the tool Ranker for complementing B{\"u}chi automata (BAs). Ranker builds on our previous optimizations of rank-based BA complementation and pushes them even further using numerous heuristics to produce even smaller automata. Moreover, it contains novel optimizations of specialized constructions for complementing (i) inherently weak automata and (ii) semi-deterministic automata, all delivered in a robust tool. The optimizations significantly improve the usability of Ranker, as shown in an extensive experimental evaluation with real-world benchmarks, where Ranker produced in the majority of cases a strictly smaller complement than other state-of-the-art tools.},
    Address = {Cham},
    Author = {Havlena, Vojt{\v{e}}ch and Leng{\'a}l, Ond{\v{r}}ej and {\v{S}}mahl{\'\i}kov{\'a}, Barbora},
    BookTitle = {Computer Aided Verification},
    Editor = {Shoham, Sharon and Vizel, Yakir},
    File = {Complementing Büchi Automata with Ranker - 978-3-031-13188-2\_10.pdf},
    ISBN = {978-3-031-13188-2},
    Pages = {188--201},
    Publisher = {Springer International Publishing},
    Title = {Complementing B{\"u}chi Automata with Ranker},
    Year = {2022},
    date-added = {2022-08-29 15:57:16 +0200},
    date-modified = {2022-08-29 15:57:16 +0200},
    doi = {10.1007/978-3-031-13188-2_10}
}

@inproceedings{10.1007/978-3-031-13188-2_10, Abstract = {We present the tool Ranker for complementing B{\"u}chi automata (BAs). Ranker builds on our previous optimizations of rank-based BA complementation and pushes them even further using numerous heuristics to produce even smaller automata. Moreover, it contains novel optimizations of specialized constructions for complementing (i) inherently weak automata and (ii) semi-deterministic automata, all delivered in a robust tool. The optimizations significantly improve the usability of Ranker, as shown in an extensive experimental evaluation with real-world benchmarks, where Ranker produced in the majority of cases a strictly smaller complement than other state-of-the-art tools.}, Address = {Cham}, Author = {Havlena, Vojt{\v{e}}ch and Leng{\'a}l, Ond{\v{r}}ej and {\v{S}}mahl{\'\i}kov{\'a}, Barbora}, BookTitle = {Computer Aided Verification}, Editor = {Shoham, Sharon and Vizel, Yakir}, File = {Complementing Büchi Automata with Ranker - 978-3-031-13188-2_10.pdf}, ISBN = {978-3-031-13188-2}, Pages = {188--201}, Publisher = {Springer International Publishing}, Title = {Complementing B{\"u}chi Automata with Ranker}, Year = {2022}, date-added = {2022-08-29 15:57:16 +0200}, date-modified = {2022-08-29 15:57:16 +0200}, doi = {10.1007/978-3-031-13188-2_10} }