arrow
返回
R

Radoslav Ivanov

university of pennsylvania

16H指数
64论文数
997被引数
收录论文 5
发表时间
Risk verification of stochastic systems with neural network controllers
err2022-12-01
err5
errOAAI
errCleaveland, Matthew; Lindemann, Lars; Ivanov, Radoslav; Pappas, George J.
err分享
err收藏
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations
err2020-06-01
err7
errOAAI
errYel, Esen; Carpenter, Taylor J.; Di Franco, Carmelo; Ivanov, Radoslav; Kantaros, Yiannis; Lee, Insup; Weimer, James; Bezzo, Nicola
err分享
err收藏
Continuous Estimation Using Context-Dependent Discrete Measurements
err2019-01-01
err4
errOAAI
errIvanov, Radoslav; Atanasov, Nikolay; Pajic, Miroslav; Weimer, James; Pappas, George J.; Lee, Insup
err分享
err收藏
Parameter-Invariant Monitor Design for Cyber-Physical Systems
err2018-01-01
err11
errOAAI
errWeimer, James; Ivanov, Radoslav; Chen, Sanjian; Roederer, Alexander; Sokolsky, Oleg; Lee, Insup
err分享
err收藏
Prediction of Critical Pulmonary Shunts in Infants
err2016-11-01
err6
errOAAI
errIvanov, Radoslav; Weimer, James; Simpao, Allan F.; Rehman, Mohamed A.; Lee, Insup
err分享
err收藏