1 paper · 1 filter
Andrew N. Glaudell, Michael Jarret, Swan Klein +3
Exact synthesis provides unconditional optimality and canonical structure, but is often limited to small, carefully scoped regimes. We present an exact synthesis framework for two-…