Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives

Giuseppe De Giacomo, Yong Li, Sven Schewe +2

The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of L…