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. 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)},
year={2025},
editors={},
pages={},
organization={},
eprint={2505.12107},
archivePrefix={},
primaryClass={},
url={https://arxiv.org/abs/2505.12107}, 
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}