Symbolic Synthesis for LTLf+ Obligations

Giuseppe De Giacomo‚ Christian Hagemeier‚ Daniel Hausmann and Nir Piterman