13 citations · 23 across the 3 of their papers we have counts for
1 paper · 1 filter
Andreas Morgenstern, Klaus Schneider
The idea of automatic synthesis of reactive programs starting from temporal logic (LTL) specifications is quite old, but was commonly thought to be infeasible due to the known doub…