logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
arrow
R

Ravi Mangal

nasa ames research center
H-index:9
Citation Count:346
Views:0

Biography

No content for now.

Education

No content for now.

Work Experience

No content for now.

Honors & Awards

No content for now.

Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception
AI VERIFICATION, SAIV 2025
IF0
2026-01-010
PRE
Watson, Christopher; Alur, Rajeev; Gopinath, Divya; Mangal, Ravi; Pasareanu, Corina S.
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
2024-06-010
OA
Calinescu, Radu; Imrie, Calum; Mangal, Ravi; Rodrigues, Genaina Nunes; Pasareanu, Corina; Santana, Misael Alpizar; Vazquez, Gricel

Research Directions

The data has not been retrieved yet.
C
Corina S. Păsăreanu
H-index:48Papers:297Citations:1.0万
R
Radu Călinescu
H-index:32Papers:276Citations:4,234
G
Genaína Nunes Rodrigues
H-index:17Papers:81Citations:867
M
Misael Alpizar Santana
H-index:3Papers:5Citations:21
C
Christopher Watson
H-index:2Papers:5Citations:12
D
Divya Gopinath
H-index:1Papers:7Citations:1
C
Calum Imrie
H-index:6Papers:28Citations:89
G
Gricel Vázquez
H-index:4Papers:12Citations:38
R
Rajeev Alur
H-index:82Papers:401Citations:3.7万