Fast Obligation Translation and Synthesis.

Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu

Browse the full CAV paper archive.