8 citations · 15 across the 10 of their papers we have counts for
1 paper · 1 filter
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automa…