( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ModelGuard: Runtime Validation of Lipschitz-continuous Models.

, , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 37-42. Elsevier, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Radoslav Zahariev

Radoslav Dvornik

Radoslav Chekerov

Radoslav Jevric

Kostadin Ivanov

 

Другие публикации лиц с тем же именем

ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions., , , , , , и . ICCPS, стр. 1-12. IEEE, (2022)Verisig: verifying safety properties of hybrid systems with neural network controllers., , , , и . CoRR, (2018)Parameter-Invariant Design of Medical Alarms., , , , и . IEEE Des. Test, 32 (5): 9-16 (2015)Robust estimation using context-aware filtering., , , , и . Allerton, стр. 590-597. IEEE, (2015)Adaptive Transient Fault Model for Sensor Attack Detection., , , , , , и . CPSNA, стр. 59-65. IEEE Computer Society, (2016)Attack-resilient sensor fusion., , и . DATE, стр. 1-6. European Design and Automation Association, (2014)Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning., , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2021)RePulmo: a remote pulmonary monitoring system., , , и . SIGBED Review, 16 (2): 46-50 (2019)Imprecise Bayesian Neural Networks., , , , , , и . CoRR, (2023)