Personal information

No personal information available

Activities

Collapse all

Works (14)

Risk verification of stochastic systems with neural network controllers

Artificial Intelligence
2022-12 | Journal article
DOI: 10.1016/j.artint.2022.103782
Contributors: Matthew Cleaveland; Lars Lindemann; Radoslav Ivanov; George J. Pappas
Source: check_circle
Crossref

Confidence Composition for Monitors of Verification Assumptions

2022-05 | Conference paper
DOI: 10.1109/iccps54341.2022.00007
Contributors: Ivan Ruchkin; Matthew Cleaveland; Radoslav Ivanov; Pengyuan Lu; Taylor Carpenter; Oleg Sokolsky; Insup Lee
Source: Self-asserted source
Radoslav Ivanov

Verisig 2.0: Verification of neural network controllers using taylor model preconditioning

Computer Aided Verification: 33rd International Conference
2021 | Conference paper
Contributors: Ivanov, Radoslav; Carpenter, Taylor; Weimer, James; Alur, Rajeev; Pappas, George; Lee, Insup
Source: Self-asserted source
Radoslav Ivanov

Compositional Learning and Verification of Neural Network Controllers

ACM Transactions on Embedded Computing Systems
2021-10-31 | Journal article
DOI: 10.1145/3477023
Part of ISSN: 1539-9087
Part of ISSN: 1558-3465
Contributors: Radoslav Ivanov; Kishor Jothimurugan; Steve Hsu; Shaan Vaidya; Rajeev Alur; Osbert Bastani
Source: Self-asserted source
Radoslav Ivanov

Verifying the Safety of Autonomous Systems with Neural Network Controllers

ACM Transactions on Embedded Computing Systems
2021-01-31 | Journal article
DOI: 10.1145/3419742
Contributors: Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee
Source: check_circle
Crossref

Assurance case patterns for cyber-physical systems with deep neural networks

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings 39
2020 | Conference paper
Contributors: Kaur, Ramneet; Ivanov, Radoslav; Cleaveland, Matthew; Sokolsky, Oleg; Lee, Insup
Source: Self-asserted source
Radoslav Ivanov

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations

IEEE Robotics & Automation Magazine
2020-06 | Journal article
DOI: 10.1109/MRA.2020.2981114
Contributors: Esen Yel; Taylor J. Carpenter; Carmelo Di Franco; Radoslav Ivanov; Yiannis Kantaros; Insup Lee; James Weimer; Nicola Bezzo
Source: check_circle
Crossref

Case study: verifying the safety of an autonomous racing car with a neural network controller

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
2020-04-22 | Conference paper
DOI: 10.1145/3365365.3382216
Contributors: Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee
Source: Self-asserted source
Radoslav Ivanov

Verisig: verifying safety properties of hybrid systems with neural network controllers

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
2019-04 | Conference paper
Contributors: Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J; Lee, Insup
Source: Self-asserted source
Radoslav Ivanov

Continuous Estimation Using Context-Dependent Discrete Measurements

IEEE Transactions on Automatic Control
2019-01 | Journal article | Author
DOI: 10.1109/tac.2018.2797839
Part of ISSN: 0018-9286
Part of ISSN: 1558-2523
Part of ISSN: 2334-3303
Contributors: Radoslav Ivanov; Nikolay Atanasov; Miroslav Pajic; James Weimer; George Pappas; Insup Lee
Source: Self-asserted source
Radoslav Ivanov
grade
Preferred source (of 2)‎

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults

ACM Transactions on Cyber-Physical Systems
2017-07-31 | Journal article
DOI: 10.1145/3064809
Part of ISSN: 2378-962X
Part of ISSN: 2378-9638
Contributors: Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Sang Hyuk Son; Insup Lee
Source: Self-asserted source
Radoslav Ivanov

Prediction of Critical Pulmonary Shunts in Infants

IEEE Transactions on Control Systems Technology
2016-11 | Journal article
DOI: 10.1109/tcst.2016.2538207
Part of ISSN: 1063-6536
Part of ISSN: 1558-0865
Contributors: Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee
Source: Self-asserted source
Radoslav Ivanov

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems

ACM Transactions on Embedded Computing Systems
2016-02-20 | Journal article | Author
DOI: 10.1145/2847418
Part of ISSN: 1539-9087
Part of ISSN: 1558-3465
Contributors: Radoslav Ivanov; Miroslav Pajic; Insup Lee
Source: Self-asserted source
Radoslav Ivanov
grade
Preferred source (of 2)‎

Sensor attack detection in the presence of transient faults

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems
2015-04-14 | Conference paper
DOI: 10.1145/2735960.2735984
Contributors: Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Insup Lee
Source: Self-asserted source
Radoslav Ivanov
How many people are using ORCID?