8 citations · 19 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
A Regular and Complete Notion of Delay for Streaming String Transducers
Emmanuel Filiot, Ismaël Jecker, Christof Löding +1
The notion of delay between finite transducers is a core element of numerous fundamental results of transducer theory. The goal of this work is to provide a similar notion for more…
cs.FL2022
Weak Muller Conditions Make Delay Games Hard
Sarah Winter, Martin Zimmermann
We show that solving delay games with winning conditions given by deterministic and nondeterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furth…