Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.

Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu

Browse the full IJCAI paper archive.