# Symbolic LTLf Synthesis

23 May 2017Shufang ZhuLucas M. TabajaraJianwen LiGeguang PuMoshe Y. Vardi

LTLf synthesis is the process of finding a strategy that satisfies a linear temporal specification over finite traces. An existing solution to this problem relies on a reduction to a DFA game... (read more)

PDF Abstract