12 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.FL2011★ 8 cited
Reactive Safety
Rüdiger Ehlers, Bernd Finkbeiner
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model ch…
cs.LO2011★ 12 cited
Experimental Aspects of Synthesis
Rüdiger Ehlers
We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publ…