LTLf Best−Effort Synthesis in Nondeterministic Planning Domains

Giuseppe De Giacomo‚ Gianmarco Parretti and Shufang Zhu