Minjian Zhang, Umang Mathur 0001, Mahesh Viswanathan 0001. Checking LTL[F, G, X] on compressed traces in polynomial time. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 131-143, ACM, 2021. [doi]
@inproceedings{Zhang0021-0, title = {Checking LTL[F, G, X] on compressed traces in polynomial time}, author = {Minjian Zhang and Umang Mathur 0001 and Mahesh Viswanathan 0001}, year = {2021}, doi = {10.1145/3468264.3468557}, url = {https://doi.org/10.1145/3468264.3468557}, researchr = {https://researchr.org/publication/Zhang0021-0}, cites = {0}, citedby = {0}, pages = {131-143}, booktitle = {ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, publisher = {ACM}, isbn = {978-1-4503-8562-6}, }