@inproceedings{inproceedings, title = {{Linear-time temporal logic with team semantics: expressivity and complexity}},
publisher = {{Schloss Dagstuhl}},
url = {{https://eprints.whiterose.ac.uk/179352/ }},
year = {{2021}},
month = {{11}},
author = {{Virtema J and Hofmann J and Finkbeiner B and Kontinen J and Yang F}},
doi = {{10.4230/LIPIcs.FSTTCS.2021.52}},
isbn = {{9783959772150}},
volume = {{213}},
journal = {{41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)}},
note = {{Accessed on 2025/01/05}}}