Towards Probabilistic Strategic Timed CTL

arXiv (Cornell University) 2026 Preprint Open access

Read full text
Authors: Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Cited by: 0

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.

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge Multi-Agent Systems and Negotiation

Publication details

Journal / source
arXiv (Cornell University)
Publication date
11 February 2026
Language
EN
Document type
Preprint