( en | de | ru )

 

Disambiguation of "Ivanov, Radoslav"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

Radoslav Zahariev

Radoslav Dvornik

Radoslav Chekerov

Radoslav Jevric

Kostadin Ivanov

 

Other publications of authors with the same name

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