43 citations · 168 across the 35 of their papers we have counts for
5 papers · 1 filter
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
Sumanth Dathathri, Richard M. Murray
Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tas…
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-…
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…