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]
No references recorded for this publication.
No citations of this publication recorded.