Incremental LTLf Synthesis

Researchers present a new approach to incremental LTLf synthesis, where AI agents must adapt their strategies in real-time when receiving new goals during execution. The study proposes efficient techniques using auxiliary data structures and formula progression, though naive implementation of progression-based methods proves computationally uncompetitive.