4 citations · 4 across the 1 of their papers we have counts for
1 paper
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadab…