48 citations · 172 across the 22 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.LO2011★ 1 cited
Small witnesses, accepting lassos and winning strategies in omega-automata and games
Ruediger Ehlers
Obtaining accepting lassos, witnesses and winning strategies in omega-automata and games with omega-regular winning conditions is an integral part of many formal methods commonly f…
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…