"Synthesizing Approximate Implementations for Unrealizable Specifications."

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics