Confidence Composition for Monitors of Verification Assumptions-Reference-Cited by-同舟云学术

Confidence Composition for Monitors of Verification Assumptions

Published:2022-05 Issue: Volume: Page:
ISSN:
Container-title:2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)
language:
Short-container-title:

Author:

Ruchkin Ivan¹,Cleaveland Matthew¹,Ivanov Radoslav²,Lu Pengyuan¹,Carpenter Taylor¹,Sokolsky Oleg¹,Lee Insup¹

Affiliation:

1. University of Pennsylvania,Philadelphia,Pennsylvania

2. Rensselaer Polytechnic Inst. Troy,New York

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9797459/9797464/09797528.pdf?arnumber=9797528

Reference50 articles.

1. Making Modeling Assumptions an Explicit Part of Real-Time Systems Models;saqui-sannes;Proc of 8th ERTS,0

2. Barrier certificates for nonlinear model validation

3. Probabilistic Outputs for Support Vector Machines and Comparisons to Regularized Likelihood Methods;platt;Advances in Large Margin Classifiers,1999

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bridging Dimensions: Confident Reachability for High-Dimensional Controllers;Lecture Notes in Computer Science;2024-09-11

2. Repairing Learning-Enabled Controllers While Preserving What Works;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13

3. Causal Repair of Learning-Enabled Cyber-Physical Systems;2023 IEEE International Conference on Assured Autonomy (ICAA);2023-06

4. Conformal Prediction for STL Runtime Verification;Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023);2023-05-09

5. Conservative Safety Monitors of Stochastic Dynamical Systems;Lecture Notes in Computer Science;2023