13 citations · 13 across the 1 of their papers we have counts for
1 paper
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…