@InProceedings{JKP+25,
author={Wojciech Jamroga and Marta Kwiatkowska and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk},
title={Probabilistic Timed {ATL}},
booktitle={Proc. 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'25)},
year={2025},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}