De Giacomo et al. "Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/944
Markdown
[De Giacomo et al. "Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/giacomo2025ijcai-solving/) doi:10.24963/IJCAI.2025/944
BibTeX
@inproceedings{giacomo2025ijcai-solving,
title = {{Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives}},
author = {De Giacomo, Giuseppe and Li, Yong and Schewe, Sven and Weinhuber, Christoph and Yu, Pian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {8491-8499},
doi = {10.24963/IJCAI.2025/944},
url = {https://mlanthology.org/ijcai/2025/giacomo2025ijcai-solving/}
}