Picture for Navid Hashemi

Navid Hashemi

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Add code
Jul 16, 2024
Viaarxiv icon

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout

Add code
Mar 23, 2024
Figure 1 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 2 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 3 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Figure 4 for Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Viaarxiv icon

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

Add code
Sep 17, 2023
Viaarxiv icon

Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts

Add code
Apr 05, 2023
Viaarxiv icon

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

Add code
Mar 07, 2023
Figure 1 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 2 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 3 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 4 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Viaarxiv icon

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

Add code
Oct 14, 2022
Figure 1 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 2 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 3 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 4 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Viaarxiv icon

Performance Bounds for Neural Network Estimators: Applications in Fault Detection

Add code
Mar 22, 2021
Figure 1 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Figure 2 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Figure 3 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Viaarxiv icon

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization

Add code
Dec 19, 2020
Figure 1 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 2 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 3 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 4 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Viaarxiv icon