@inproceedings{gpdzdkmnz-fm-2024,
  title={Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic},
  author={Ben Greenman and Siddhartha Prasad and Di Stasio, Antonio and Shufang Zhu and De Giacomo, Giuseppe and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte},
  booktitle={{Formal Methods}},
  publisher={{Springer Nature Switzerland}},
  doi={10.1007/978-3-031-71162-6_30},
  pages={579--599},
  year={2024}
}