@misc{misc, title = {{Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity}}, url = {{}}, year = {{2020}}, month = {{10}}, author = {{Virtema J and Hofmann J and Finkbeiner B and Kontinen J and Yang F}}, note = {{Accessed on 2024/12/23}}}