@InProceedings{RPPK25,
author={Rajarshi Roy and Yash Pote and David Parker and Marta Kwiatkowska},
title={Learning Probabilistic Temporal Logic Specifications for Stochastic Systems},
booktitle={Proc. 34th International Joint Conference on Artificial Intelligence (IJCAI'25)},
year={2025},

editors={},
pages={4642-4650},
organization={},
publisher={ijcai.org},
series={},
volume={},
address={},
month={},
note={},
key={}
}