Xin Qin, Jyotirmoy V. Deshmukh. Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 19-21, ACM, 2019. [doi]
Abstract is missing.