1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Recent years have seen a significant increase in the interest in reactive synthesis from specifications that relate to infinite state spaces. We present sweap, a tool for synthesis…