Synthesizing Skeletons for Reactive Systems.

Bernd Finkbeiner, Hazem Torfah

Browse the full ATVA paper archive.