TY  - RPRT
TI  - Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
AU  - Giuseppe De Giacomo
AU  - Yong Li
AU  - Sven Schewe
AU  - Christoph Weinhuber
AU  - Pian Yu
PY  - 2025
UR  - https://arxiv.org/abs/2505.17264
ID  - 2505.17264
ER  -