The Complexity of Transducer Synthesis from Multi-Sequential Specifications.

Lo Exibard, Emmanuel Filiot, Ismal Jecker

Browse the full MFCS paper archive.