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.

翻译：我们定义了PSTCTL，它是战略时序CTL（STCTL）的一种概率变体，用于解释具有连续时间和异步执行语义的随机多智能体系统。STCTL以ATL风格的战略算子扩展了TCTL。此外，我们论证了使用irP策略进行验证的可行性。