32 citations · 41 across the 9 of their papers we have counts for
1 paper · 1 filter
Alan Mishchenko, Robert Brayton, Roland Jiang +2
A class of discrete event synthesis problems can be reduced to solving language equations f . X ⊆ S, where F is the fixed component and S the specification. Sequential synthes…