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/24/2022
Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems
This study presents a novel approach for modeling and simulating human-v...
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/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
∙
08/02/2019
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Autonomous vehicles are complex systems that are challenging to test and...
research
∙
01/18/2019
Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection
Pavement crack detection is a critical task for insuring road safety. Ma...
research
∙
10/12/2018
Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case Study
This paper presents a technology for simple and computationally efficien...
research
∙
07/14/2017
Freeway Merging in Congested Traffic based on Multipolicy Decision Making with Passive Actor Critic
Freeway merging in congested traffic is a significant challenge toward f...
research
∙
06/04/2017
Actor-Critic for Linearly-Solvable Continuous MDP with Partially Known Dynamics
In many robotic applications, some aspects of the system dynamics can be...
research
∙
07/08/2016
Multi-level Contextual RNNs with Attention Model for Scene Labeling
Context in image is crucial for scene labeling while existing methods on...
research
∙
05/05/2009
