TY  - RPRT
TI  - A Generic Solution to Register-bounded Synthesis with an Application to Discrete Orders
AU  - Léo Exibard
AU  - Emmanuel Filiot
AU  - Ayrat Khalimov
PY  - 2022
DO  - 10.4230/lipics.icalp.2022.116
UR  - https://arxiv.org/abs/2105.09978
ID  - 2105.09978
ER  -