Incremental LTLf Synthesis
arXiv:2603.01201v1 Announce Type: new Abstract: In this paper, we study incremental LTLf synthesis -- a form of reactive synthesis where the goals are given incrementally …
Giuseppe De Giacomo, Yves Lesp\'erance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi
3 views