13 citations · 22 across the 16 of their papers we have counts for
3 papers · 1 filter
Information Flow Guided Synthesis with Unbounded Communication
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information flow guided synthesis is a compositional approach to the automated construction of distributed systems where the assumptions between the components are captured as info…
Synthesis of Temporal Causality
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger +1
We present an automata-based algorithm to synthesize omega-regular causes for omega-regular effects on executions of a reactive system, such as counterexamples uncovered by a model…
Monitoring Second-Order Hyperproperties
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel +1
Hyperproperties express the relationship between multiple executions of a system. This is needed in many AI-related fields, such as knowledge representation and planning, to captur…