On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts

Shengping Xiao, Yongkang Li, Shufang Zhu +4

We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on…