NewEvery arXiv paper, its researchers & institutions — mapped.
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