“…The formulation actually brings QNP planning into the realm of standard FOND planning by dealing with the underlying fairness assumptions explicitly. The use of fairness assumptions connects also to works on LTL planning and synthesis (Camacho et al, 2019;Aminof et al, 2019), and to works addressing temporally extended goals (De Giacomo & Vardi, 1999;Patrizi, Lipovetzky, & Geffner, 2013;Camacho, Triantafillou, Muise, Baier, & McIlraith, 2017;Camacho et al, 2019;Aminof et al, 2020). Our work can be seen as a special case of planning under LTL assumptions (Aminof et al, 2019) that targets an LTL fragment that is relevant for FOND planning and is computationally simpler.…”