Qin, Xin; Deshmukh, Jyotirmoy V. Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019). MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:monitoring; probabilistic reasoning; signal temporal logic PDF BibTeX XML Cite \textit{X. Qin} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 266--267 (2019; Zbl 07120166) Full Text: DOI