@inproceedings{zhang2021checkingltlf,
 author = {Minjian Zhang and Umang Mathur and Mahesh Viswanathan},
 booktitle = {ESEC/FSE 2021},
 title = {Checking LTL[F,G,X] on Compressed Traces in Polynomial Time},
 url = {https://umangmathur.org/papers/compressed-ltl-fse2021.pdf},
 year = {2021}
}