2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
IJCAI 2022poster
Synthesis techniques for temporal logic specifications are typically based on exploiting symbolic techniques, as done in model checking. These symbolic techniques typically use backward fixpoint computation. Planning, which can be seen as a specific form of synthesis, is a witness of the success of…