Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin. A Pattern Logic for Automata with Outputs. 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 304-317, Springer, 2018. [doi]
Abstract is missing.