A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

Lo Exibard, Emmanuel Filiot, Ayrat Khalimov

Browse the full ICALP paper archive.