LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu