The Trembling−Hand Problem for LTLf Planning

Pian Yu‚ Shufang Zhu‚ Giuseppe De Giacomo‚ Marta Kwiatkowska and Moshe Vardi