@inproceedings{9182e70d009b46ab98dae8a37547f3b8,
title = "Back to the Future: A Fresh Look at Linear Temporal Logic",
abstract = "This note tells the story of how I came to understand that my work with K{\v r}et{\'i}nsk{\'y} and Sickert on translating LTL into ω -automata was deeply connected to a normal form for LTL, obtained 35 years ago by Lichtenstein, Pnueli and Zuck.",
keywords = "Formal verification, Linear Temporal Logic, ω -Automata",
author = "Javier Esparza",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 25th International Conference on Implementation and Application of Automata, CIAA 2021 ; Conference date: 19-07-2021 Through 22-07-2021",
year = "2021",
doi = "10.1007/978-3-030-79121-6_1",
language = "English",
isbn = "9783030791209",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "3--13",
editor = "Sebastian Maneth",
booktitle = "Implementation and Application of Automata - 25th International Conference, CIAA 2021, Proceedings",
}