49 citations · 163 across the 51 of their papers we have counts for
1 paper · 2 filters
Petter Nilsson, Necmiye Ozay
General purpose correct-by-construction synthesis methods are limited to systems with low dimensionality or simple specifications. In this work we consider highly symmetrical count…