@misc{indiciae962e7b70a0a0,
  title = {Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives},
  author = {Giuseppe De Giacomo and Yong Li and Sven Schewe and Christoph Weinhuber and Pian Yu},
  year = {2025},
  url = {https://arxiv.org/abs/2505.17264},
  note = {Source identifier: 2505.17264}
}