Automata vs Linear-Programming Discounted-Sum Inclusion. - Suguman Bansal; Swarat Chaudhuri; Moshe Y. Vardi (CAV (2), 2018)

Synthesis of Asynchronous Reactive Programs from Temporal Specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CAV (1), 2018)

Equilibria in Quantitative Concurrent Games. - Shaull Almagor; Rajeev Alur; Suguman Bansal (CoRR, 2018)

Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. - Suguman Bansal; Moshe Y. Vardi (CAV (1), 2019)

Synthesis of coordination programs from linear temporal logic. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CoRR, 2019)

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. - Suguman Bansal; Yong Li 031; Lucas M. Tabajara; Moshe Y. Vardi (AAAI, 2020)

Automata-based Quantitative Verification. - Suguman Bansal (CoRR, 2020)

Synthesis of coordination programs from linear temporal specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (Proc. ACM Program. Lang., 2020)

Adapting Behaviors via Reactive Synthesis. - Gal Amram; Suguman Bansal; Dror Fried; Lucas Martinelli Tabajara; Moshe Y. Vardi; Gera Weiss (CAV (1), 2021)

Compositional Reinforcement Learning from Logical Specifications. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (NeurIPS, 2021)

On Satisficing in Quantitative Games. - Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi (TACAS (1), 2021)

Synthesis from Satisficing and Temporal Goals. - Suguman Bansal; Lydia E. Kavraki; Moshe Y. Vardi; Andrew M. Wells (AAAI, 2022)

A Framework for Transforming Specifications in Reinforcement Learning. - Rajeev Alur; Suguman Bansal; Osbert Bastani; Kishor Jothimurugan (Principles of Systems Design, 2022)

Specification-Guided Learning of Nash Equilibria with High Social Welfare. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (CAV (2), 2022)

Specification-Guided Reinforcement Learning. - Suguman Bansal (SAS, 2022)

Compositional Safety LTL Synthesis. - Suguman Bansal; Giuseppe De Giacomo; Antonio Di Stasio 001; Yong Li 031; Moshe Y. Vardi; Shufang Zhu 001 (VSTTE, 2022)

Comparator automata in quantitative verification. - Suguman Bansal; Swarat Chaudhuri; Moshe Y. Vardi (Log. Methods Comput. Sci., 2022)

Model Checking Strategies from Synthesis over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas M. Tabajara; Moshe Y. Vardi; Andrew M. Wells (ATVA (1), 2023)

Multi-Agent Systems with Quantitative Satisficing Goals. - Senthil Rajasekaran; Suguman Bansal; Moshe Y. Vardi (IJCAI, 2023)

On Strategies in Synthesis Over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas Martinelli Tabajara; Moshe Y. Vardi; Andrew M. Wells (CoRR, 2023)

Automata-Based Quantitative Reasoning. - Suguman Bansal (ACM SIGLOG News, 2023)

Decompositions in Compositional Translation of LTLf to DFA (Student Abstract). - Yash Kankariya; Suguman Bansal (AAAI, 2024)

DAG-Based Compositional Approaches for LTLf to DFA Conversions. - Suguman Bansal; Yash Kankariya; Yong Li 031 (FMCAD, 2024)

Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. - Jakub Svoboda; Suguman Bansal; Krishnendu Chatterjee (ICML, 2024)

Inductive Generalization in Reinforcement Learning from Specifications. - Vignesh Subramanian; Rohit Kushwah; Subhajit Roy 001; Suguman Bansal (CoRR, 2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. - Suguman Bansal; Ramneet Singh (CAV (2), 2025)

Specification-Guided Reinforcement Learning. - Kishor Jothimurugan; Suguman Bansal; Osbert Bastani; Rajeev Alur (NeuS, 2025)