Learning probabilistic temporal logic specifications for stochastic systems - Roy, R; Pote, Y; Parker, D; Kwiatkowska, M (Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025)