15 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 15 cited
A multi-paradigm language for reactive synthesis
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-…
cs.LO2015★ 4 cited
Symbolic construction of GR(1) contracts for synchronous systems with full information
Ioannis Filippidis, Richard M. Murray
This work proposes a symbolic algorithm for the construction of assume-guarantee specifications that allow multiple agents to cooperate. Each agent is assigned goals expressed in a…