Details for the publication Giacomo0SWY25.

Giuseppe De Giacomo, Yong Li, Sven Schewe (), Christoph Weinhuber, Pian Yu: Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025, pages 8491-8499, 2025. DOI BIB