LTLf/LDLf-synthesis

LTLf/LDLf-synthesis is based on FLLOAT and performs the automated synthesis of LTL and LDL formulas with finite-trace semantics, that is finding all strategies/plans (that are temporal assignments to variables we can control) satisfying a specific goal formula.