@online{huangndlinear,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Linear Temporal Logic},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/linear-temporal-logic/},
  langid       = {english},
  abstract     = {Linear Temporal Logic (LTL) \# Motivation \&\#x26; Historical Context \# Temporal logic was introduced into computer science by Amir Pnueli (1977) in his seminal paper "The Temporal Logic of Programs" , for which he later received the Turing Award. The driving idea: classical logic a}
}