Danil V. Prokhorov

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 62

Top Venues

CoRR

IEEE Trans. Neural Networks Learn. Syst.

IEEE Trans. Intell. Transp. Syst.

IEEE Trans. Intell. Veh.

Publications

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR (2024)
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR (2024)
Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR (2024)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. CoRR (2023)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. ICAPS (2023)
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. CoRR (2023)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. ICRA (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Pattern Matching for Perception Streams. RV (2023)
Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Yuyang Song, Umesh Gandhi, Danil V. Prokhorov
Design and fabrication of multi-pouch inflatable holding structure with higher payload. RoboSoft (2023)
Alexander Bastounis, Alexander N. Gorban, Anders C. Hansen, Desmond J. Higham, Danil V. Prokhorov, Oliver J. Sutton, Ivan Yu. Tyukin, Qinghua Zhou
The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning. CoRR (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
Kenechukwu C. Mbanisi, Hideyuki Kimpara, Zhi Li, Danil V. Prokhorov, Michael A. Gennert
Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems. CoRR (2022)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. FORMATS (2022)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. 5 (5) (2021)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC (2021)
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Reachability Analysis of Convolutional Neural Networks. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR (2021)
Hideyuki Kimpara, Kenechukwu C. Mbanisi, Zhi Li, Karen L. Troy, Danil V. Prokhorov, Michael A. Gennert
Force Anticipation and Its Potential Implications on Feedforward and Feedback Human Motor Control. Hum. Factors 63 (4) (2021)
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-bounded Control using Stochastic Barrier Functions. ACC (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR (2021)
Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. EMSOFT (2020)
Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh
Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE (2020)
Hideyuki Kimpara, Kenechukwu C. Mbanisi, Jie Fu, Zhi Li, Danil V. Prokhorov, Michael A. Gennert
Human Model-Based Active Driving System in Vehicular Dynamic Simulation. IEEE Trans. Intell. Transp. Syst. 21 (5) (2020)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5 (2) (2020)
Fan Yang, Lei Zhang, Sijia Yu, Danil V. Prokhorov, Xue Mei, Haibin Ling
Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection. IEEE Trans. Intell. Transp. Syst. 21 (4) (2020)
Tomoki Nishi, Prashant Doshi, Danil V. Prokhorov
Merging in Congested Freeway Traffic Using Multipolicy Decision Making and Passive Actor-Critic Learning. IEEE Trans. Intell. Veh. 4 (2) (2019)
Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. ICCAD (2019)
Ivan Yu. Tyukin, Alexander N. Gorban, Stephen Green, Danil V. Prokhorov
Fast construction of correcting ensembles for legacy Artificial Intelligence systems: Algorithms and a case study. Inf. Sci. 485 (2019)
Wangmeng Zuo, Xi Peng, Ling Shao, Danil V. Prokhorov, Horst Bischof
Guest Editorial Special Issue on Discriminative Learning for Model Optimization and Statistical Inference. IEEE Trans. Neural Networks Learn. Syst. 30 (10) (2019)
Jifeng Shen, Xin Zuo, Wankou Yang, Danil V. Prokhorov, Xue Mei, Haibin Ling
Differential Features for Pedestrian Detection: A Taylor Series Perspective. IEEE Trans. Intell. Transp. Syst. 20 (8) (2019)
Danil V. Prokhorov
Toward Next Generation of Autonomous Systems with AI. IJCNN (2019)
Zhiqiang Wan, Hepeng Li, Haibo He, Danil V. Prokhorov
Model-Free Real-Time EV Charging Scheduling Based on Deep Reinforcement Learning. IEEE Trans. Smart Grid 10 (5) (2019)
Fan Yang, Lei Zhang, Sijia Yu, Danil V. Prokhorov, Xue Mei, Haibin Ling
Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection. CoRR (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2019)
Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling
Multi-Level Contextual RNNs With Attention Model for Scene Labeling. IEEE Trans. Intell. Transp. Syst. 19 (11) (2018)
Ivan Yu. Tyukin, Alexander N. Gorban, Danil V. Prokhorov, Stephen Green
Efficiency of Shallow Cascades for Improving Deep Learning AI Systems. IJCNN (2018)
He Jiang, Xiao-Kang Liu, Haibo He, Chengzhi Yuan, Danil V. Prokhorov
Neural Network Based Distributed Consensus Control for Heterogeneous Multi-agent Systems. ACC (2018)
Shuai Di, Honggang Zhang, Chun-Guang Li, Xue Mei, Danil V. Prokhorov, Haibin Ling
Cross-Domain Traffic Scene Understanding: A Dense Correspondence-Based Transfer Learning Approach. IEEE Trans. Intell. Transp. Syst. 19 (3) (2018)
Ivan Yu. Tyukin, Alexander N. Gorban, Stephen Green, Danil V. Prokhorov
Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case Study. CoRR (2018)
Tomoki Nishi, Prashant Doshi, Michael R. James, Danil V. Prokhorov
Actor-Critic for Linearly-Solvable Continuous MDP with Partially Known Dynamics. CoRR (2017)
Tomoki Nishi, Prashant Doshi, Danil V. Prokhorov
Freeway Merging in Congested Traffic based on Multipolicy Decision Making with Passive Actor Critic. CoRR (2017)
Han-Kai Hsu, Yi-Hsuan Tsai, Xue Mei, Kuan-Hui Lee, Naoki Nagasaka, Danil V. Prokhorov, Ming-Hsuan Yang
Learning to tell brake and turn signals in videos using CNN-LSTM structure. ITSC (2017)
Yong-Duan Song, Frank L. Lewis, Marios M. Polycarpou, Danil V. Prokhorov, Dongbin Zhao
Guest Editorial Special Issue on New Developments in Neural Network Structures for Signal Processing, Autonomous Decision, and Adaptive Control. IEEE Trans. Neural Networks Learn. Syst. 28 (3) (2017)
Jun Li, Xue Mei, Danil V. Prokhorov, Dacheng Tao
Deep Neural Network for Structural Prediction and Lane Detection in Traffic Scene. IEEE Trans. Neural Networks Learn. Syst. 28 (3) (2017)
Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling
RGB-D Scene Labeling with Multimodal Recurrent Neural Networks. CVPR Workshops (2017)
Bunyo Okumura, Michael R. James, Yusuke Kanzawa, Matthew Derry, Katsuhiro Sakai, Tomoki Nishi, Danil V. Prokhorov
Challenges in Perception and Decision Making for Intelligent Automotive Vehicles: A Case Study. IEEE Trans. Intell. Veh. 1 (1) (2016)
Shuai Di, Honggang Zhang, Xue Mei, Danil V. Prokhorov, Haibin Ling
A benchmark for cross-weather traffic scene understanding. ITSC (2016)
Guangyu Zhong, Yi-Hsuan Tsai, Yi-Ting Chen, Xue Mei, Danil V. Prokhorov, Michael James, Ming-Hsuan Yang
Learning to tell brake lights with convolutional features. ITSC (2016)
Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling
Cross datasets vegetation detection with spatial prior and local context. Intelligent Vehicles Symposium (2016)
Alexander N. Gorban, Ivan Yu. Tyukin, Danil V. Prokhorov, Konstantin I. Sofeikov
Approximation with random bases: Pro et Contra. Inf. Sci. (2016)
Danil V. Prokhorov
Toward Highly Intelligent Automobiles. VEHITS (2016)
Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling
Multi-level Contextual RNNs with Attention Model for Scene Labeling. CoRR (2016)
Danil V. Prokhorov, Sadayuki Tsugawa, Christoph Stiller, Christian Laugier, Emilio Frazzoli, Mohan M. Trivedi, Dimitar P. Filev
IEEE Transactions on Intelligent Vehicles Senior Associate Editors. IEEE Trans. Intell. Veh. 1 (1) (2016)
Zhen Ni, Haibo He, Xiangnan Zhong, Danil V. Prokhorov
Model-Free Dual Heuristic Dynamic Programming. IEEE Trans. Neural Networks Learn. Syst. 26 (8) (2015)
Alexander N. Gorban, Ivan Yu. Tyukin, Danil V. Prokhorov, Konstantin I. Sofeikov
Approximation with Random Bases: Pro et Contra. CoRR (2015)
Xue Mei, Naoki Nagasaka, Bunyo Okumura, Danil V. Prokhorov
Detection and motion planning for roadside parked vehicles at long distance. Intelligent Vehicles Symposium (2015)
Shuai Di, Honggang Zhang, Xue Mei, Danil V. Prokhorov, Haibin Ling
Spatial Prior for Nonparametric Road Scene Parsing. ITSC (2015)
Zhen Ni, Haibo He, Dongbin Zhao, Xin Xu, Danil V. Prokhorov
GrDHP: A General Utility Function Representation for Dual Heuristic Dynamic Programming. IEEE Trans. Neural Networks Learn. Syst. 26 (3) (2015)
Zhibin Hong, Zhe Chen, Chaohui Wang, Xue Mei, Danil V. Prokhorov, Dacheng Tao
MUlti-Store Tracker (MUSTer): A cognitive psychology inspired approach to object tracking. CVPR (2015)
Xue Mei, Zhibin Hong, Danil V. Prokhorov, Dacheng Tao
Robust Multitask Multiview Tracking in Videos. IEEE Trans. Neural Networks Learn. Syst. 26 (11) (2015)
Michael Fairbank, Danil V. Prokhorov, Eduardo Alonso
Clipping in Neurocontrol by Adaptive Dynamic Programming. IEEE Trans. Neural Networks Learn. Syst. 25 (10) (2014)
Pengpeng Liang, Yi Wu, Xue Mei, Jingyi Yu, Erik Blasch, Danil V. Prokhorov, Chunyuan Liao, Haitao Lang, Haibin Ling
Blur-Resilient Tracking Using Group Sparsity. ACCV (5) (2014)
Danil V. Prokhorov
Computational Intelligence in Automotive R & D. IJCCI (ECTA) (2014)
Konstantin I. Sofeikov, Ivan Tyukin, Alexander N. Gorban, Eugenij Moiseevich Mirkes, Danil V. Prokhorov, Ilya V. Romanenko
Learning optimization for decision tree classification of non-categorical data with information gain impurity criterion. IJCNN (2014)
Zhibin Hong, Chaohui Wang, Xue Mei, Danil V. Prokhorov, Dacheng Tao
Tracking Using Multilevel Quantizations. ECCV (6) (2014)
Zhibin Hong, Xue Mei, Danil V. Prokhorov, Dacheng Tao
Tracking via Robust Multi-task Multi-view Joint Sparse Representation. ICCV (2013)
Xiangnan Zhong, Haibo He, Danil V. Prokhorov
Robust controller design of continuous-time nonlinear system using neural network. IJCNN (2013)
Michael Fairbank, Eduardo Alonso, Danil V. Prokhorov
An Equivalence Between Adaptive Dynamic Programming With a Critic and Backpropagation Through Time. IEEE Trans. Neural Networks Learn. Syst. 24 (12) (2013)
Michael Fairbank, Eduardo Alonso, Danil V. Prokhorov
Simple and Fast Calculation of the Second-Order Gradients for Globalized Dual Heuristic Dynamic Programming in Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 23 (10) (2012)
Zhen Ni, Haibo He, Dongbin Zhao, Danil V. Prokhorov
Reinforcement learning control based on multi-goal representation using hierarchical heuristic dynamic programming. IJCNN (2012)
Jing Wang, Haibo He, Danil V. Prokhorov
A Folded Neural Network Autoencoder for Dimensionality Reduction. INNS-WC (2012)
Danil V. Prokhorov
Overview of CI research in automotive ITS. CIVTS (2011)
Zhen Ni, Haibo He, Danil V. Prokhorov, Jian Fu
An online actor-critic learning approach with Levenberg-Marquardt algorithm. IJCNN (2011)
Marco Baglietto, Lubica Benusková, Ivo Bukovsky, Tianping Chen, Tom Heskes, Kazushi Ikeda, Fakhri Karray, Rhee Man Kil, Robert Legenstein, Jinhu Lu, Yunqian Ma, Malik Magdon-Ismail, Michael G. Paulin, Robi Polikar, Danil V. Prokhorov, Marco A. Wiering, Vicente Zarzoso
Editorial: One Year as EiC, and Editorial-Board Changes at TNN. IEEE Trans. Neural Networks 22 (1) (2011)
Danil V. Prokhorov
A convolutional learning system for object classification in 3-D lidar data. IEEE Trans. Neural Networks 21 (5) (2010)
Danil V. Prokhorov
Multi-agent framework for remote diagnostics. IEEE Congress on Evolutionary Computation (2010)
Danil V. Prokhorov
Road obstacle classification with attention windows. Intelligent Vehicles Symposium (2010)
Danil V. Prokhorov
Risk estimator for control in intelligent transportation system. CCA/ISIC (2009)
Kihoon Choi, Satnam Singh, Anuradha Kodali, Krishna R. Pattipati, John W. Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao
Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems. IEEE Trans. Instrum. Meas. 58 (3) (2009)
Ivan Tyukin, Danil V. Prokhorov
Feasibility of random basis function approximators for modeling and control CoRR (2009)
Danil V. Prokhorov
Object recognition in 3D lidar data with recurrent neural network. CVPR Workshops (2009)
Danil V. Prokhorov
A Self-learning System for Object Categorization. ICEIS (2009)
Danil V. Prokhorov
A self-learning sensor fusion system for object classification. CIVVS (2009)
Satnam Singh, Anuradha Kodali, Kihoon Choi, Krishna R. Pattipati, Setu Madhavi Namburu, S. C. Sean, Danil V. Prokhorov, Liu Qiao
Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques. IEEE Trans. Syst. Man Cybern. Part A 39 (1) (2009)
Danil V. Prokhorov, Yasuo Uehara
Performance measurement and its role in advancement for intelligent systems: discussion points. PerMIS (2009)
Ivan Tyukin, Danil V. Prokhorov
Feasibility of random basis function approximators for modeling and control. CCA/ISIC (2009)
Zhengping Ji, Danil V. Prokhorov
Radar-vision fusion for object classification. FUSION (2008)
Dhafar S. Mohammed, Saeid Habibi, Danil V. Prokhorov
Adaptive parameter robust estimation. IJCNN (2008)
Danil V. Prokhorov, Johann Schumann
Intelligent Systems for Modeling and Control: Advances in Design and Validation. ISIC (2008)
Ivan Tyukin, Danil V. Prokhorov, Cees van Leeuwen
Adaptive Classification of Temporal Signals in Fixed-Weight Recurrent Neural Networks: An Existence Proof. Neural Comput. 20 (10) (2008)
Setu Madhavi Namburu, Danil V. Prokhorov, Shunsuke Chigusa, Liu Qiao, Krishna R. Pattipati
KDD and Its Applications in Automotive Sector - A Brief Survey. DMIN (2008)

Danil V. Prokhorov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Danil V. Prokhorov