15 citations · 15 across the 1 of their papers we have counts for
1 paper
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-…