research
∙
07/13/2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Continuous deep learning models, referred to as Neural Ordinary Differen...
share
research
∙
07/08/2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Reinforcement Learning (RL) has become an increasingly important researc...
research
∙
05/03/2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Recent advances in machine learning technologies and sensing have paved ...
research
∙
10/03/2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey
This survey presents an overview of verification techniques for autonomo...
research
∙
04/09/2018