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

Browse the full IJCAI paper archive.