papers
Publications (11)
math.OC2007
Adaptive classification of temporal signals in fixed-weights recurrent neural networks: an existence proof
Ivan Tyukin, Danil Prokhorov, Cees van Leeuwen
cs.AI2019
Fast Construction of Correcting Ensembles for Legacy Artificial Intelligence Systems: Algorithms and a Case Study
Ivan Y. Tyukin, Alexander N. Gorban, Stephen Green +1
cs.AI2017
Freeway Merging in Congested Traffic based on Multipolicy Decision Making with Passive Actor Critic
Tomoki Nishi, Prashant Doshi, Danil Prokhorov
cs.NE2009
Feasibility of random basis function approximators for modeling and control
Ivan Tyukin, Danil Prokhorov
cs.CV2019
Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection
Fan Yang, Lei Zhang, Sijia Yu +3
cs.RO2019
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov +2
The paper introduces a testing framework for autonomous vehicles that uses signal temporal logic to define requirements and automatically generate test cases, supporting machine le…
#autonomous vehicles#requirements-driven testing#signal temporal logic#machine learning components
math.OC2003
Parameter Estimation of Sigmoid Superpositions: Dynamical System Approach
Ivan Tyukin, Cees van Leeuwen, Danil Prokhorov
cs.CV2016
Multi-level Contextual RNNs with Attention Model for Scene Labeling
Heng Fan, Xue Mei, Danil Prokhorov +1
math.OC2005
Adaptation and Parameter Estimation in Systems with Unstable Target Dynamics and Nonlinear Parametrization
Tyukin Ivan, Danil Prokhorov, Cees van Leeuwen
cs.AI2017
Actor-Critic for Linearly-Solvable Continuous MDP with Partially Known Dynamics
Tomoki Nishi, Prashant Doshi, Michael R. James +1
math.DS2004
Parameter estimation and control for a class of systems with nonlinear parametrization
Ivan Tyukin, Danil Prokhorov, Cees van Leeuwen