English

Towards Probabilistic Strategic Timed CTL

Logic in Computer Science 2026-02-12 v1 Multiagent Systems
Authors: Wojciech Jamroga , Marta Kwiatkowska , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk
View on arXiv ↗ PDF ↗

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.

Keywords

temporal logic

Cite

@article{arxiv.2602.10824,
  title  = {Towards Probabilistic Strategic Timed CTL},
  author = {Wojciech Jamroga and Marta Kwiatkowska and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk},
  journal= {arXiv preprint arXiv:2602.10824},
  year   = {2026}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Strategic (Timed) Computation Tree Logic
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci +1
2023-10-20
Logic in Computer Science · Computer Science
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019-05-17
Logic in Computer Science · Computer Science
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2011-11-15
Systems and Control · Electrical Eng. & Systems
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Dimos V. Dimarogonas +2
2024-09-04
Systems and Control · Electrical Eng. & Systems
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
2024-09-17
Logic in Computer Science · Computer Science
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
2025-05-20
Systems and Control · Electrical Eng. & Systems
SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
Ali Baheri, Peng Wei
2025-01-13
Systems and Control · Computer Science
Control with Probabilistic Signal Temporal Logic
Chanyeol Yoo, Calin Belta
2015-10-30
Artificial Intelligence · Computer Science
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
2018-11-28
Logic in Computer Science · Computer Science
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Erika Abraham, Borzoo Bonakdarpour
2018-04-06
Robotics · Computer Science
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
Joris Verhagen, Lars Lindemann, Jana Tumova
2023-10-17
Formal Languages and Automata Theory · Computer Science
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
Partha Roop, Sobhan Chatterjee, Avinash Malik, Nathan Allen +1
2026-03-27
Logic in Computer Science · Computer Science
Introducing Asynchronicity to Probabilistic Hyperproperties
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci +1
2023-07-12
Systems and Control · Computer Science
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi +1
2017-07-03
Artificial Intelligence · Computer Science
Standpoint Linear Temporal Logic
Nicola Gigante, Lucia {Gomez Alvarez}, Tim S. Lyon
2023-04-28
Multiagent Systems · Computer Science
Strategic Abilities of Forgetful Agents in Stochastic Environments
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023-10-27
Logic in Computer Science · Computer Science
Model Checking Linear Temporal Logic with Standpoint Modalities
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar +3
2025-02-28
Optimization and Control · Mathematics
Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints
Lening Li, Jie Fu
2018-10-08
Robotics · Computer Science
Multi-agent Motion Planning from Signal Temporal Logic Specifications
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
2022-01-17
Logic in Computer Science · Computer Science
ATLsc with partial observation
François Laroussinie, Nicolas Markey, Arnaud Sangnier
2015-09-25
Artificial Intelligence · Computer Science
A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks
Xiao Li, Calin Belta
2016-06-22
Logic in Computer Science · Computer Science
Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
Liqian Ma, Zishun Liu, Hongzhe Yu, Yongxin Chen
2025-03-10
Logic in Computer Science · Computer Science
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Ji Guan, Nengkun Yu
2022-04-15
Artificial Intelligence · Computer Science
Reasoning about Agent Programs using ATL-like Logics
Nitin Yadav, Sebastian Sardina
2016-07-05
Logic in Computer Science · Computer Science
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
2023-11-17
R2 v1 2026-07-01T10:31:50.201Z