Complementation of Finitely Ambiguous Büchi Automata

Alexander Rabinovich. Complementation of Finitely Ambiguous Büchi Automata. In Mizuho Hoshi, Shinnosuke Seki, editors, Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. Volume 11088 of Lecture Notes in Computer Science, pages 541-552, Springer, 2018. [doi]

Abstract

Abstract is missing.