
-
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs
Deep neural networks (DNNs) are known to produce incorrect predictions w...
read it
-
Confidence Calibration with Bounded Error Using Transformations
As machine learning techniques become widely adopted in new domains, esp...
read it
-
Improving Classifier Confidence using Lossy Label-Invariant Transformations
Providing reliable model uncertainty estimates is imperative to enabling...
read it
-
PAC Confidence Predictions for Deep Neural Network Classifiers
A key challenge for deploying deep neural networks (DNNs) in safety crit...
read it
-
Class-Weighted Evaluation Metrics for Imbalanced Data Classification
Class distribution skews in imbalanced datasets may lead to models with ...
read it
-
Optimal Virtual Cluster-based Multiprocessor Scheduling
Scheduling of constrained deadline sporadic task systems on multiprocess...
read it
-
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation
Reliable uncertainty estimates are an important tool for helping autonom...
read it
-
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Deep neural network (DNN) models have proven to be vulnerable to adversa...
read it
-
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction
We propose an algorithm combining calibrated prediction and generalizati...
read it
-
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
This paper describes a verification case study on an autonomous racing c...
read it
-
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Reinforcement Learning (RL) has emerged as an efficient method of choice...
read it
-
Self-Driving Vehicle Verification Towards a Benchmark
Industrial cyber-physical systems are hybrid systems with strict safety ...
read it
-
Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors
Inertial sensors provide crucial feedback for control systems to determi...
read it
-
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data
Data-driven techniques are used in cyber-physical systems (CPS) for cont...
read it