Danil Prokhorov

Available identifiers

Publication	Date of Publication	Type
Reachability analysis of deep ReLU neural networks using facet-vertex incidence	2024-02-21	Paper
Quantitative Verification for Neural Networks using ProbStars	2024-02-21	Paper
Verification of Recurrent Neural Networks with Star Reachability	2024-02-21	Paper
Neural network repair with reachability analysis	2023-01-18	Paper
Fast construction of correcting ensembles for legacy artificial intelligence systems: algorithms and a case study	2020-11-27	Paper
Approximation with random bases: pro et contra	2019-12-20	Paper
Adaptation and Parameter Estimation in Systems With Unstable Target Dynamics and Nonlinear Parametrization	2017-07-27	Paper
A new method for stability analysis of nonlinear discrete-time systems	2017-06-20	Paper
Adaptive control with nonconvex parameterization	2017-06-20	Paper
Learning and Evolution of Autonomous Adaptive Agents	2010-03-23	Paper
Adaptive Classification of Temporal Signals in Fixed-Weight Recurrent Neural Networks: An Existence Proof	2008-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3523935	2008-09-08	Paper
Parameter estimation and control for a class of systems with nonlinear parametrization	2004-09-08	Paper
Parameter Estimation of Sigmoid Superpositions: Dynamical System Approach	2004-03-30	Paper
Adaptive Algorithms in Finite Forms	2003-09-15	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Danil Prokhorov