Misconceptions in Finite−Trace and Infinite−Trace Linear Temporal Logic

Ben Greenman‚ Siddhartha Prasad‚ Antonio Di Stasio‚ Shufang Zhu‚ Giuseppe De Giacomo‚ Shriram Krishnamurthi‚ Marco Montali‚ Tim Nelson and Milda Zizyte