| 2025 | ATVA | Inductive Generalization in Reinforcement Learning from Specifications. | Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal |
| 2025 | CAV | INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. | Suguman Bansal, Ramneet Singh |
| 2024 | AAAI | Decompositions in Compositional Translation of LTLf to DFA (Student Abstract). | Yash Kankariya, Suguman Bansal |
| 2024 | FMCAD | DAG-Based Compositional Approaches for LTLf to DFA Conversions. | Suguman Bansal, Yash Kankariya, Yong Li |
| 2024 | ICML | Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. | Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee |
| 2023 | ATVA | Model Checking Strategies from Synthesis over Finite Traces. | Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells |
| 2023 | IJCAI | Multi-Agent Systems with Quantitative Satisficing Goals. | Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi |
| 2022 | AAAI | Synthesis from Satisficing and Temporal Goals. | Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells |
| 2022 | CAV | Specification-Guided Learning of Nash Equilibria with High Social Welfare. | Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur |
| 2022 | SAS | Specification-Guided Reinforcement Learning. | Suguman Bansal |
| 2021 | CAV | Adapting Behaviors via Reactive Synthesis. | Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss |
| 2021 | TACAS | On Satisficing in Quantitative Games. | Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi |
| 2020 | AAAI | Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. | Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi |
| 2019 | CAV | Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. | Suguman Bansal, Moshe Y. Vardi |
| 2018 | CAV | Automata vs Linear-Programming Discounted-Sum Inclusion. | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |
| 2018 | CAV | Synthesis of Asynchronous Reactive Programs from Temporal Specifications. | Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2018 | FOSSACS | Comparator Automata in Quantitative Verification. | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |