4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Uwe Egly, Patrick Klampfl +2
Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then cons…