TY  - RPRT
TI  - On the Complexity of Linear Temporal Logic with Team Semantics
AU  - Martin Lück
PY  - 2020
UR  - https://arxiv.org/abs/2004.12682
ID  - 2004.12682
ER  -