Predictive monitoring for signal temporal logic with probabilistic guarantees

DOI10.1145/3302504.3313353OpenAlexW2938769851MaRDI QIDQ5239251

Jyotirmoy V. Deshmukh, Xin Qin

Publication date: 22 October 2019

Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3302504.3313353

zbMATH Keywords

monitoringprobabilistic reasoningsignal temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Uses Software

• S-TaLiRo
• ST-Lib

This page was built for publication: Predictive monitoring for signal temporal logic with probabilistic guarantees