@misc{indiciae2ae2555c70bc,
  title = {Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity},
  author = {Jonni Virtema and Jana Hofmann and Bernd Finkbeiner and Juha Kontinen and Fan Yang},
  year = {2021},
  url = {https://arxiv.org/abs/2010.03311},
  note = {Source identifier: 2010.03311}
}