TY  - RPRT
TI  - On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
AU  - Nicolaj Ø. Jensen
AU  - Kim G. Larsen
AU  - Didier Lime
AU  - Jiří Srba
PY  - 2025
DO  - 10.4230/lipics.concur.2025.5
UR  - https://arxiv.org/abs/2506.07802
ID  - 2506.07802
ER  -