Ben Greenman, Siddhartha Prasad, Antonio Di Stasio 0001, Shufang Zhu 0001, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. In André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Volume 14933 of Lecture Notes in Computer Science, pages 579-599, Springer, 2024. [doi]
Abstract is missing.