"The Complexity of Transducer Synthesis from Multi-Sequential Specifications."

Léo Exibard, Emmanuel Filiot, Ismaël Jecker (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics