Towards Probabilistic Strategic Timed CTL
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908827697283072 |
|---|---|
| author | Jamroga, Wojciech Kwiatkowska, Marta Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil |
| author_facet | Jamroga, Wojciech Kwiatkowska, Marta Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_10824 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Towards Probabilistic Strategic Timed CTL Jamroga, Wojciech Kwiatkowska, Marta Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil Logic in Computer Science Multiagent Systems 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. |
| title | Towards Probabilistic Strategic Timed CTL |
| topic | Logic in Computer Science Multiagent Systems |
| url | https://arxiv.org/abs/2602.10824 |