@misc{indiciaeb8319b6e7849,
  title = {Towards Probabilistic Strategic Timed CTL},
  author = {Wojciech Jamroga and Marta Kwiatkowska and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk},
  year = {2026},
  url = {https://arxiv.org/abs/2602.10824},
  note = {Source identifier: 2602.10824}
}