Scholar
Suguman Bansal
Google Scholar ID: bd9Rk1MAAAAJ
Assistant Professor, Computer Science, Georgia Institute of Technology
Formal methods
Programming languages
Artificial intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
380
H-index
10
i10-index
13
Publications
20
Co-authors
20
list available
Publications
5 items
Q-Learning for Reachability in MEC-Free MDPs
2026
Cited
0
Certificate-Guided Evaluation of Reinforcement Learning Generalization
2026
Cited
0
Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications
2026
Cited
0
Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
2026
Cited
0
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
2025
Cited
0
Co-authors
14 total
Moshe Y. Vardi
Rice University
Osbert Bastani
University of Pennsylvania
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Lucas M. Tabajara
Graduate Researcher, Rice University
Yong Li
Institue of Software, Chinese Academy of Sciences
Swarat Chaudhuri
UT Austin, Google DeepMind
Krishnendu Chatterjee
Professor, IST Austria
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
