TY  - RPRT
TI  - Strategic (Timed) Computation Tree Logic
AU  - Jaime Arias
AU  - Wojciech Jamroga
AU  - Wojciech Penczek
AU  - Laure Petrucci
AU  - Teofil Sidoruk
PY  - 2023
UR  - https://arxiv.org/abs/2302.13405
ID  - 2302.13405
ER  -