Confidence Composition for Monitors of Verification Assumptions

3 November 2021

Papers citing "Confidence Composition for Monitors of Verification Assumptions"

3 / 3 papers shown

Title
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 29 45 0 03 Nov 2022
Improving Prediction Confidence in Learning-Enabled Autonomous Systems Dimitrios Boursinos X. Koutsoukos 23 3 0 07 Oct 2021
Assurance Monitoring of Learning Enabled Cyber-Physical Systems Using Inductive Conformal Prediction based on Distance Learning Dimitrios Boursinos X. Koutsoukos 40 11 0 07 Oct 2021