collaborators

1 paper

cs.AI2025

A Compositional Framework for On-the-Fly LTLf Synthesis

Yongkang Li, Shengping Xiao, Shufang Zhu +2

Reactive synthesis from Linear Temporal Logic over finite traces (LTLf) can be reduced to a two-player game over a Deterministic Finite Automaton (DFA) of the LTLf specification. T…