Radoslav Ivanov

Identifiers

• name variant Radoslav Ivanov 0.60 · backfill

Papers (5)

1. Online CS-based SAR Edge-Mapping cs.CV · 2026 · author #2
2. Verification of Autonomous Systems with Optimal Controllers eess.SY · 2026 · author #4
3. Post-Training Neural Network Pruning using Graph Curvature cs.LG · 2026 · author #4
4. Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction eess.SY · 2025 · author #4
5. Verisig: verifying safety properties of hybrid systems with neural network controllers cs.SY · 2018 · author #1

Mentions

• 2601.16366 #4 · arxiv_oai · confidence 0.70 Radoslav Ivanov

Frequent Coauthors

• Birsen Yazici 1 shared papers
• Carlos Varela 1 shared papers
• Conor Flynn 1 shared papers
• Dylan Le 1 shared papers
• George J. Pappas 1 shared papers
• Insup Lee 1 shared papers
• Ivan Ruchkin 1 shared papers
• James Weimer 1 shared papers
• Jayson Sia 1 shared papers
• Joel McCandless 1 shared papers
• Paul Bogdan 1 shared papers
• Rajeev Alur 1 shared papers
• Shuhang Tan 1 shared papers
• Thomas Waite 1 shared papers
• Trevor Turnquist 1 shared papers
• Yuang Geng 1 shared papers