You are here
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.
Technology type:
Research topics:
Contacts: