Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.

Philippe Heim, Rayna Dimitrova

Browse the full TACAS paper archive.