Conformal prediction for stl runtime verification

L Lindemann, X Qin, JV Deshmukh… - Proceedings of the ACM …, 2023 - dl.acm.org
We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …
被引用次数：26 相关文章

[引用][C] Conformal Prediction for STL Runtime Verification

L Lindemann, X Qin, JV Deshmukh… - ACM/IEEE 14th …, 2023 - par.nsf.gov
[PDF] researchgate.net

[PDF][PDF] Conformal Prediction for STL Runtime Verification

L Lindemann, X Qin, JV Deshmukh, GJ Pappas - 2022 - researchgate.net
We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

Conformal Prediction for STL Runtime Verification

L Lindemann, X Qin, JV Deshmukh… - arXiv preprint arXiv …, 2022 - arxiv.org
We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

Conformal Prediction for STL Runtime Verification

L Lindemann, X Qin, JV Deshmukh… - 2023 59th Annual …, 2023 - ieeexplore.ieee.org
We are interested in predicting failures of learning-enabled systems during their operation.
Particularly, we consider stochastic learning-enabled systems and signal temporal logic …

Conformal Prediction for STL Runtime Verification

L Lindemann, X Qin, JV Deshmukh… - arXiv e …, 2022 - ui.adsabs.harvard.edu
We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …