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

Video #1 Length : 00:01:29
Video #2 Length : 00:05:35