Paper accepted at IJCAI'25

We are happy that our paper about solving MDPs with LTLf+ and PPLTL+ temporal objectives has been accepted at IJCAI’25.