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
∙
02/15/2023
Ultrafast single-channel machine vision based on neuro-inspired photonic computing
High-speed machine vision is increasing its importance in both scientifi...
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
∙
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
∙
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
∙
05/24/2020