Church Synthesis on Register Automata over Linearly Ordered Data Domains.

Lo Exibard, Emmanuel Filiot, Ayrat Khalimov

Browse the full STACS paper archive.