2 citations · 2 across the 9 of their papers we have counts for
1 paper · 1 filter
Andoni Rodriguez, Cesar Sanchez
In this paper, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans, including arithmetic theories. Our approach transforms the…