GitHub repository: GianmarcoDIAG/syft4fond
Primary language: C++
Description: Transformation from PDDL to DFA and reduction of FOND planning to synthesis