Alert button
Picture for Danil Prokhorov

Danil Prokhorov

Alert button

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation

Dec 12, 2023
Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil Prokhorov, Dimitra Panagou

Viaarxiv icon

The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning

Sep 13, 2023
Alexander Bastounis, Alexander N. Gorban, Anders C. Hansen, Desmond J. Higham, Danil Prokhorov, Oliver Sutton, Ivan Y. Tyukin, Qinghua Zhou

Viaarxiv icon

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

Mar 07, 2023
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil Prokhorov, Geogios Fainekos, Jyotirmoy Deshmukh

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

Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems

Oct 24, 2022
Kenechukwu C. Mbanisi, Hideyuki Kimpara, Zhi Li, Danil Prokhorov, Michael A. Gennert

Figure 1 for Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems
Figure 2 for Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems
Figure 3 for Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems
Figure 4 for Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems
Viaarxiv icon

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

Oct 14, 2022
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil Prokhorov, Tomoya Yamaguchi

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

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions

Dec 30, 2021
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil Prokhorov, Bardh Hoxha

Figure 1 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Figure 2 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Figure 3 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Viaarxiv icon

Neural Network Repair with Reachability Analysis

Aug 09, 2021
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson, Danil Prokhorov

Figure 1 for Neural Network Repair with Reachability Analysis
Figure 2 for Neural Network Repair with Reachability Analysis
Figure 3 for Neural Network Repair with Reachability Analysis
Figure 4 for Neural Network Repair with Reachability Analysis
Viaarxiv icon

Reachability Analysis of Convolutional Neural Networks

Jun 22, 2021
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson, Danil Prokhorov

Figure 1 for Reachability Analysis of Convolutional Neural Networks
Figure 2 for Reachability Analysis of Convolutional Neural Networks
Figure 3 for Reachability Analysis of Convolutional Neural Networks
Figure 4 for Reachability Analysis of Convolutional Neural Networks
Viaarxiv icon

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions

May 03, 2021
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Georgios Fainekos

Figure 1 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 2 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 3 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 4 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Viaarxiv icon

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

Aug 02, 2019
Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski

Figure 1 for Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Figure 2 for Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Figure 3 for Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Figure 4 for Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Viaarxiv icon