Danil V. Prokhorov
Orcid: 0000-0002-6208-4233Affiliations:
- Toyota Technical Center, Ann Arbor, USA
According to our database1,
Danil V. Prokhorov
authored at least 143 papers
between 1995 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
5
10
1
1
1
6
1
1
3
3
5
2
4
3
3
1
1
1
1
1
2
2
6
1
2
4
1
2
1
3
1
1
9
1
3
2
2
2
2
4
3
4
2
2
2
2
6
4
4
2
5
3
3
2
1
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Neural Networks, 2025
2024
Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout.
ACM Trans. Cyber Phys. Syst., October, 2024
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events.
CoRR, 2024
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions.
CoRR, 2024
CoRR, 2024
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
2023
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.
CoRR, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Design and fabrication of multi-pouch inflatable holding structure with higher payload.
Proceedings of the IEEE International Conference on Soft Robotics, 2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning.
Proceedings of the Artificial Neural Networks and Machine Learning, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the American Control Conference, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems.
CoRR, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
2021
Force Anticipation and Its Potential Implications on Feedforward and Feedback Human Motor Control.
Hum. Factors, 2021
IEEE Control. Syst. Lett., 2021
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh., 2020
IEEE Trans. Intell. Transp. Syst., 2020
IEEE Trans. Intell. Transp. Syst., 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020
2019
IEEE Trans. Smart Grid, 2019
Guest Editorial Special Issue on Discriminative Learning for Model Optimization and Statistical Inference.
IEEE Trans. Neural Networks Learn. Syst., 2019
Merging in Congested Freeway Traffic Using Multipolicy Decision Making and Passive Actor-Critic Learning.
IEEE Trans. Intell. Veh., 2019
IEEE Trans. Intell. Transp. Syst., 2019
Fast construction of correcting ensembles for legacy Artificial Intelligence systems: Algorithms and a case study.
Inf. Sci., 2019
Proceedings of the International Joint Conference on Neural Networks, 2019
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019
2018
IEEE Trans. Intell. Transp. Syst., 2018
Cross-Domain Traffic Scene Understanding: A Dense Correspondence-Based Transfer Learning Approach.
IEEE Trans. Intell. Transp. Syst., 2018
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018
Neural Network Based Distributed Consensus Control for Heterogeneous Multi-agent Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
2017
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., 2017
IEEE Trans. Neural Networks Learn. Syst., 2017
Freeway Merging in Congested Traffic based on Multipolicy Decision Making with Passive Actor Critic.
CoRR, 2017
CoRR, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017
2016
IEEE Trans. Intell. Veh., 2016
Challenges in Perception and Decision Making for Intelligent Automotive Vehicles: A Case Study.
IEEE Trans. Intell. Veh., 2016
Toward Highly Intelligent Automobiles.
Proceedings of the International Conference on Vehicle Technology and Intelligent Transport Systems, 2016
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
2015
GrDHP: A General Utility Function Representation for Dual Heuristic Dynamic Programming.
IEEE Trans. Neural Networks Learn. Syst., 2015
IEEE Trans. Neural Networks Learn. Syst., 2015
IEEE Trans. Neural Networks Learn. Syst., 2015
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
MUlti-Store Tracker (MUSTer): A cognitive psychology inspired approach to object tracking.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015
2014
IEEE Trans. Neural Networks Learn. Syst., 2014
Learning optimization for decision tree classification of non-categorical data with information gain impurity criterion.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Computational Intelligence in Automotive R & D.
Proceedings of the ECTA 2014, 2014
Proceedings of the Computer Vision - ECCV 2014, 2014
Proceedings of the Computer Vision - ACCV 2014, 2014
2013
An Equivalence Between Adaptive Dynamic Programming With a Critic and Backpropagation Through Time.
IEEE Trans. Neural Networks Learn. Syst., 2013
Proceedings of the 2013 International Joint Conference on Neural Networks, 2013
Proceedings of the IEEE International Conference on Computer Vision, 2013
2012
Simple and Fast Calculation of the Second-Order Gradients for Globalized Dual Heuristic Dynamic Programming in Neural Networks.
IEEE Trans. Neural Networks Learn. Syst., 2012
Proceedings of the 3rd International Neural Network Society Winter Conference, 2012
Reinforcement learning control based on multi-goal representation using hierarchical heuristic dynamic programming.
Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012
2011
IEEE Trans. Neural Networks, 2011
Proceedings of the 2011 International Joint Conference on Neural Networks, 2011
Proceedings of the 2011 IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems, 2011
2010
Proceedings of the Advances in Machine Learning I: Dedicated to the Memory of Professor Ryszard S. Michalski, 2010
IEEE Trans. Neural Networks, 2010
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
2009
IEEE Trans. Syst. Man Cybern. Part A, 2009
IEEE Trans. Instrum. Meas., 2009
Performance measurement and its role in advancement for intelligent systems: discussion points.
Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, 2009
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009
Proceedings of the 2009 IEEE Workshop on Computational Intelligence in Vehicles and Vehicular Systems, 2009
Proceedings of the IEEE International Conference on Control Applications, 2009
Proceedings of the IEEE International Conference on Control Applications, 2009
2008
Proceedings of the Computational Intelligence in Automotive Applications, 2008
Adaptive Classification of Temporal Signals in Fixed-Weight Recurrent Neural Networks: An Existence Proof.
Neural Comput., 2008
Proceedings of the International Joint Conference on Neural Networks, 2008
Proceedings of the 11th International Conference on Information Fusion, 2008
KDD and Its Applications in Automotive Sector - A Brief Survey.
Proceedings of The 2008 International Conference on Data Mining, 2008
Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008
2007
IEEE Trans. Neural Networks, 2007
IEEE Trans. Neural Networks, 2007
IEEE Trans. Neural Networks, 2007
IEEE Trans. Neural Networks, 2007
Adaptation and Parameter Estimation in Systems With Unstable Target Dynamics and Nonlinear Parametrization.
IEEE Trans. Autom. Control., 2007
Time series prediction with a weighted bidirectional multi-stream extended Kalman filter.
Neurocomputing, 2007
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the 2007 Workshop on Performance Metrics for Intelligent Systems, 2007
Proceedings of the International Joint Conference on Neural Networks, 2007
Prius control with a hybrid method.
Proceedings of the ICINCO 2007, 2007
2006
Training Recurrent Neurocontrollers for Robustness With Derivative-Free Kalman Filter.
IEEE Trans. Neural Networks, 2006
Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory.
Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006
Proceedings of the International Joint Conference on Neural Networks, 2006
2005
Proceedings of the IEEE International Joint Conference on Neural Networks, 2005
Proceedings of the IEEE International Joint Conference on Neural Networks, 2005
Proceedings of the Artificial Neural Networks: Biological Inspirations, 2005
Proceedings of the American Control Conference, 2005
Proceedings of the American Control Conference, 2005
2004
Proceedings of the IEEE International Joint Conference on Neural Networks, 2004
Proceedings of the IEEE International Joint Conference on Neural Networks, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
IEEE Trans. Autom. Control., 2003
Simple and conditioned adaptive behavior from Kalman filter trained recurrent networks.
Neural Networks, 2003
Neural Comput., 2003
Proceedings of the International Joint Conference on Neural Networks, 2003
Proceedings of the 7th European Control Conference, 2003
Proceedings of the American Control Conference, 2003
2002
IEEE Trans. Neural Networks, 2002
On a problem of time-varying learning rate influence on the adaptive system dynamics.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the American Control Conference, 2001
2000
Neurocontroller alternatives for "fuzzy" ball-and-beam systems with nonuniform nonlinear friction.
IEEE Trans. Neural Networks Learn. Syst., 2000
Recurrent neural network based prediction of epileptic seizures in intra- and extracranial EEG.
Neurocomputing, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
Proceedings of the International Joint Conference Neural Networks, 1999
1998
Comparative study of stock trend prediction using time delay, recurrent and probabilistic neural networks.
IEEE Trans. Neural Networks, 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Comments on "A self-organizing network for hyperellipsoidal clustering (HEC)" [and reply].
IEEE Trans. Neural Networks, 1997
Proceedings of International Conference on Neural Networks (ICNN'97), 1997
Proceedings of International Conference on Neural Networks (ICNN'97), 1997
Unified formulation for training recurrent networks with derivative adaptive critics.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997
1996
Proceedings of International Conference on Neural Networks (ICNN'96), 1996
1995
Conservative thirty calendar day stock prediction using a probabilistic neural network.
Proceedings of the IEEE/IAFE 1995 Computational Intelligence for Financial Engineering, 1995