Conference PaperWhat's in a Name? Linear Temporal Logic Literally Represents Time LinesLi, Runming; Gurushankar, Keerthana; Heule, Marijn J.H.; Rozier, Kristin YvonneIEEE2023-10-011048933273-83979-8-3503-0829-7https://doi.org/10.1109/VISSOFT60811.2023.000182015445Bogotá, ColombiaNational Science Foundation