Suguman Bansal
Scholar

Suguman Bansal

Google Scholar ID: bd9Rk1MAAAAJ
Assistant Professor, Computer Science, Georgia Institute of Technology
Formal methodsProgramming languagesArtificial intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
380
 
H-index
10
 
i10-index
13
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
2 items
Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
2026
Cited
0
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
2025
Cited
0
Resume (English only)
Co-authors
20 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Osbert Bastani
Osbert Bastani
University of Pennsylvania
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Co-author 4
Co-author 4
Lucas M. Tabajara
Lucas M. Tabajara
Graduate Researcher, Rice University
Yong Li
Yong Li
Institue of Software, Chinese Academy of Sciences
Co-author 7
Co-author 7
Co-author 8
Co-author 8