The Complexity of Transducer Synthesis from Multi-Sequential Specifications

Léo Exibard, Emmanuel Filiot, Ismaël Jecker. The Complexity of Transducer Synthesis from Multi-Sequential Specifications. In Igor Potapov, Paul G. Spirakis, James Worrell 0001, editors, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK. Volume 117 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Abstract

Abstract is missing.