31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
John Fearnley, Doron Peled, Sven Schewe
Synthesis of correct by design systems from specification has recently attracted much attention. The theoretical results imply that this problem is highly intractable, e.g., synthe…