Towards Probabilistic Strategic Timed CTL

[JKP+26] Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Towards Probabilistic Strategic Timed CTL. In Proc. 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'26). To appear. 2026. [pdf]

Downloads:

pdf (540 KB)

Notes: Pre-print available at https://arxiv.org/abs/2602.10824.

Links: [Google] [Google Scholar] [CiteSeer]

Abstract. We define PSTCTL, a probabilistic variant of Strategic Timed CTL(STCTL), interpreted over stochastic multi-agent systems with continuous time and asynchronous execution semantics. STCTL extends TCTL with strategic operators in the style of ATL. Moreover, we demonstrate the feasibility of verification with irP-strategies.