TY  - RPRT
TI  - A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
AU  - Juha Kontinen
AU  - Max Sandström
AU  - Jonni Virtema
PY  - 2024
UR  - https://arxiv.org/abs/2406.04833
ID  - 2406.04833
ER  -