The Complexity of Transducer Synthesis from Multi-Sequential Specifications.

Léo Exibard Emmanuel Filiot Ismaël Jecker

Published in: CoRR (2019)

Keyphrases

sequential search
real time
website
case study
optimal solution
hidden markov models
worst case
formal specification
functional requirements
program synthesis