Radoslav Ivanov

Available identifiers

zbMath Open ivanov.radoslavMaRDI QIDQ832169

List of research outcomes

Publication	Date of Publication	Type
T4V: exploring neural network architectures that improve the scalability of neural network verification	2023-08-10	Paper
Risk verification of stochastic systems with neural network controllers	2022-11-08	Paper
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning	2022-03-25	Paper
Case study	2021-01-25	Paper
Verisig	2019-10-22	Paper
Continuous Estimation Using Context-Dependent Discrete Measurements	2019-01-28	Paper

Research outcomes over time

This page was built for person: Radoslav Ivanov