32 citations · 58 across the 5 of their papers we have counts for
1 paper · 2 filters
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…