Fast Obligation Translation and Synthesis

Alexandre Duret−Lutz‚ Giuseppe De Giacomo‚ Marcin Jurdziński‚ Nir Piterman‚ Moshe Y. Vardi and Shufang Zhu