48 citations · 172 across the 22 of their papers we have counts for
1 paper · 1 filter
Ruediger Ehlers
We present a novel method for the synthesis of finite state systems that is a generalisation of the generalised reactivity(1) synthesis approach by Piterman, Pnueli and Sa'ar. In p…