@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} }