research
∙
03/07/2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Signal Temporal Logic (STL) has become a popular tool for expressing for...
share
research
∙
10/14/2022
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
In this paper, we consider the problem of synthesizing a controller in t...
research
∙
06/29/2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Automated vehicles (AV) heavily depend on robust perception systems. Cur...
research
∙
12/30/2021
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
In this paper, we study Stochastic Control Barrier Functions (SCBFs) to ...
research
∙
08/17/2021
PerceMon: Online Monitoring for Perception Systems
Perception algorithms in autonomous vehicles are vital for the vehicle t...
research
∙
08/09/2021
Neural Network Repair with Reachability Analysis
Safety is a critical concern for the next generation of autonomy that is...
research
∙
06/22/2021
Reachability Analysis of Convolutional Neural Networks
Deep convolutional neural networks have been widely employed as an effec...
research
∙
05/03/2021
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Sampling-based methods such as Rapidly-exploring Random Trees (RRTs) hav...
research
∙
02/03/2021
Discovering Physical Interaction Vulnerabilities in IoT Deployments
Internet of Things (IoT) applications drive the behavior of IoT deployme...
research
∙
04/25/2020