( en | de | ru )

 

Disambiguierung von "Ivanov, Radoslav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

, , , und . DESTION@CPSIoTWeek, Seite 62-63. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Radoslav Zahariev

Radoslav Dvornik

Radoslav Chekerov

Radoslav Jevric

Evgenij Ivanov

 

Weitere Publikationen von Autoren mit dem selben Namen

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