FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Author: Shufang Zhu

Paper Information

Title:LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Authors:Shufang Zhu
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Reactive synthesis, LTLf, AND-OR graph, Knowledge compilation, SDD
Pages:1
Talk:Jul 31 10:00 (Session 5)
Paper: