Léo Exibard
Léo Exibard
Home
Research
Teaching
Contact
Multi-Sequentiality
The Complexity of Transducer Synthesis from Multi-Sequential Specifications (MFCS 2018)
Multi-sequential specifications are recognised by unions of sequential transducers. Their synthesis problem is PSpace-complete.
The Complexity of Transducer Synthesis from Multi-Sequential Specifications
Multi-sequential specifications are recognised by unions of sequential transducers. Their synthesis problem is PSpace-complete.
Cite
×