13 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
Andreas Morgenstern, Klaus Schneider
The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and t…