TY  - RPRT
TI  - Church Synthesis on Register Automata over Linearly Ordered Data Domains
AU  - Léo Exibard
AU  - Emmanuel Filiot
AU  - Ayrat Khalimov
PY  - 2023
DO  - 10.4230/lipics.stacs.2021.54
UR  - https://arxiv.org/abs/2004.12141
ID  - 2004.12141
ER  -