43 citations · 168 across the 35 of their papers we have counts for
1 paper · 1 filter
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
This paper proposes a language for describing reactive synthesis problems that integrates imperative and declarative elements. The semantics is defined in terms of two-player turn-…