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: |  |