Bounded Synthesis of Register Transducers.

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Browse the full ATVA paper archive.