6 citations · 7 across the 2 of their papers we have counts for
3 papers
cs.SE2019
Spectra: A Specification Language for Reactive Systems
Shahar Maoz, Jan Oliver Ringert
Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a k…
cs.LO2017★ 6 cited
Performance Heuristics for GR(1) Synthesis and Related Algorithms
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially…
cs.SE2015★ 1 cited
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe +1
Engineering software for robotics applications requires multidomain and application-specific solutions. Model-driven engineering and modeling language integration provide means for…