Denis Kuperberg, Laureline Pinault, Damien Pous. Coinductive Algorithms for Büchi Automata. In Piotrek Hofman, Michal Skrzypczak, editors, Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings. Volume 11647 of Lecture Notes in Computer Science, pages 206-220, Springer, 2019. [doi]
Abstract is missing.