Suguman Bansal

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 33

Top Topics

Linear Temporal Logic

Nash Equilibria

Reinforcement Learning

Top Venues

Publications

Yash Kankariya, Suguman Bansal
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract). AAAI (2024)
Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
Inductive Generalization in Reinforcement Learning from Specifications. CoRR (2024)
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
Multi-Agent Systems with Quantitative Satisficing Goals. CoRR (2023)
Suguman Bansal
Automata-Based Quantitative Reasoning. ACM SIGLOG News 10 (3) (2023)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) (2023)
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI (2023)
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
On Strategies in Synthesis Over Finite Traces. CoRR (2023)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18 (3) (2022)
Suguman Bansal
Specification-Guided Reinforcement Learning. SAS (2022)
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
Synthesis from Satisficing and Temporal Goals. CoRR (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design (2022)
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
Synthesis from Satisficing and Temporal Goals. AAAI (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. CoRR (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. NeurIPS (2021)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. CoRR (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. CoRR (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. TACAS (1) (2021)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI (2020)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of coordination programs from linear temporal specifications. Proc. ACM Program. Lang. 4 (POPL) (2020)
Suguman Bansal
Automata-based Quantitative Verification. CoRR (2020)
Suguman Bansal, Moshe Y. Vardi
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) (2019)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of coordination programs from linear temporal logic. CoRR (2019)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR (2019)
Shaull Almagor, Rajeev Alur, Suguman Bansal
Equilibria in Quantitative Concurrent Games. CoRR (2018)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator automata in quantitative verification. CoRR (2018)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator Automata in Quantitative Verification. FoSSaCS (2018)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of Asynchronous Reactive Programs from Temporal Specifications. CAV (1) (2018)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) (2018)