research
∙
12/11/2022
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
Model-based safety assessment has been one of the leading research thrus...
share
research
∙
01/29/2021
SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction
Safe navigation of autonomous agents in human centric environments requi...
research
∙
11/29/2020
Cyber-Physical Security Through Resiliency: A Systems-centric Approach
Cyber-physical systems (CPS) are often defended in the same manner as in...
research
∙
06/16/2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
In this paper, we consider the problem of creating a safe-by-design Rect...
research
∙
02/17/2019
Towards Improved Testing For Deep Learning
The growing use of deep neural networks in safety-critical applications ...
research
∙
09/18/2018
PAIM: Platoon-based Autonomous Intersection Management
With the emergence of autonomous ground vehicles and the recent advancem...
research
∙
11/02/2017