@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 2024/09/19}}}