Details for the publication DeGiacomoLSWY25.

Giuseppe De Giacomo, Yong Li, Sven Schewe (), Christoph Weinhuber, Pian Yu: Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. In IJCAI 2025, 2025. URL BIB