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


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.