author-photo

Radoslav Ivanov

University of Pennsylvania

52

Papers

486

Citations

Citation Trend

Filter By

Papers (40) Sort By

Journal Conference Others

Risk verification of stochastic systems with neural network controllers

2022 Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (0)
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning

2021 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (2)
Confidence Composition for Monitors of Verification Assumptions.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
ModelGuard: Runtime Validation of Lipschitz-continuous Models

2021
Show All
- Source
- Cite
- Save
Citations (0)
ModelGuard: Runtime Validation of Lipschitz-continuous Models

2021 IFAC-PapersOnLine
Show All
- Source
- Cite
- Save
Citations (2)
Towards formalization of wireless vehicular networking

2020
Show All
- Source
- Cite
- Save
Citations (1)
ANTIFUNGAL ACTIVITY OF LACTIC ACID BACTERIA, ISOLATED FROM (MYTILUS GALLOPROVINCIALIS LAM.) IN THE BULGARIAN BLACK SEA AQUATORY

2020
Show All
- Source
- Cite
- Save
Citations (1)
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems

2020 arXiv: Computer Vision and Pattern Recognition
Show All
- Source
- Cite
- Save
Citations (4)
Assured Run-time Monitoring and Planning: Towards Verification of Neural Networks for Safe Autonomous Operations

2020 IEEE Robotics & Automation Magazine
Show All
- Source
- Cite
- Save
Citations (4)