Synthesis Foundations for Online LTLf Goal Management

Giuseppe De Giacomo‚ Yves Lespérance‚ Gianmarco Parretti and Fabio Patrizi