1 citations · 2 across the 6 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 1 cited
Compositional Synthesis of Modular Systems (Full Version)
Bernd Finkbeiner, Noemi Passing
Given the advances in reactive synthesis, it is a natural next step to consider more complex multi-process systems. Distributed synthesis, however, is not yet scalable. Composition…
cs.LO2021
Temporal Stream Logic modulo Theories (Full Version)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal stream logic (TSL) extends LTL with updates and predicates over arbitrary function terms. This allows for specifying data-intensive systems for which LTL is not expressive…
cs.LO2021
Specification Decomposition for Reactive Synthesis
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and har…