Multi−Property Synthesis

Christoph Weinhuber‚ Yannik Schnitzer‚ Alessandro Abate‚ Giuseppe De Giacomo‚ David Parker and Moshe Vardi