( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.

, , , , , , и . CHASE, стр. 70-81. IEEE, (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.

Svilen Ivanov

Elizaveta Ivanova

Tetyana Ivanovska

Sarah Ivanovas

Oxana Ivanova-Chessex

 

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

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis., , , и . ICCPS, стр. 92-103. IEEE, (2022)Confidence Composition for Monitors of Verification Assumptions., , , , , , и . ICCPS, стр. 1-12. IEEE, (2022)Bridging Dimensions: Confident Reachability for High-Dimensional Controllers., , , , и . FM (1), том 14933 из Lecture Notes in Computer Science, стр. 381-402. Springer, (2024)Causal Repair of Learning-Enabled Cyber-Physical Systems., , , , и . ICAA, стр. 1-10. IEEE, (2023)Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper., , , и . Formal Methods in Outer Space, том 13065 из Lecture Notes in Computer Science, стр. 137-146. Springer, (2021)Scalable platforms and advanced algorithms for IoT and cyber-enabled applications., , , и . J. Parallel Distributed Comput., 118 (Part): 1-4 (2018)Surveying neuro-symbolic approaches for reliable artificial intelligence of things., , , , и . J. Reliab. Intell. Environ., 10 (3): 257-279 (сентября 2024)Towards a Formal Framework for Hybrid Planning in Self-Adaptation., , , и . SEAMS@ICSE, стр. 109-115. IEEE Computer Society, (2017)Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems., , и . ACES-MB&WUCOR@MoDELS, том 1508 из CEUR Workshop Proceedings, стр. 3-10. CEUR-WS.org, (2015)Towards Integration of Modeling Methods for Cyber-Physical Systems.. MoDELS (Doctoral Symposium), том 1531 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)