Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.10494
Cited By
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems
28 January 2020
Feiyang Cai
X. Koutsoukos
OODD
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems"
10 / 10 papers shown
Title
Formal Verification and Control with Conformal Prediction
Lars Lindemann
Yiqi Zhao
Xinyi Yu
George J. Pappas
Jyotirmoy Deshmukh
209
16
0
31 Aug 2024
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
Feiyang Cai
Chuchu Fan
Stanley Bak
88
6
0
28 May 2024
Attacking Vision-based Perception in End-to-End Autonomous Driving Models
Adith Boloor
Karthik Garimella
Xin He
C. Gill
Yevgeniy Vorobeychik
Xuan Zhang
AAML
41
107
0
02 Oct 2019
Towards Safe Machine Learning for CPS: Infer Uncertainty from Training Data
Xiaozhe Gu
Arvind Easwaran
27
29
0
11 Sep 2019
Deep Anomaly Detection with Outlier Exposure
Dan Hendrycks
Mantas Mazeika
Thomas G. Dietterich
OODD
73
1,467
0
11 Dec 2018
To Trust Or Not To Trust A Classifier
Heinrich Jiang
Been Kim
Melody Y. Guan
Maya R. Gupta
UQCV
81
469
0
30 May 2018
Deep k-Nearest Neighbors: Towards Confident, Interpretable and Robust Deep Learning
Nicolas Papernot
Patrick McDaniel
OOD
AAML
55
505
0
13 Mar 2018
Inductive Conformal Martingales for Change-Point Detection
Denis Volkhonskiy
I. Nouretdinov
A. Gammerman
V. Vovk
Evgeny Burnaev
74
50
0
11 Jun 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
T. Dreossi
Alexandre Donzé
Sanjit A. Seshia
AAML
55
230
0
02 Mar 2017
Continuous control with deep reinforcement learning
Timothy Lillicrap
Jonathan J. Hunt
Alexander Pritzel
N. Heess
Tom Erez
Yuval Tassa
David Silver
Daan Wierstra
130
13,174
0
09 Sep 2015
1