Bansal, Suguman

7 publications

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

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

NeurIPSW 2023 Inductive Generalization in Reinforcement Learning from Specifications Rohit Kushwah, Vignesh Subramanian, Suguman Bansal, Subhajit Roy

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

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

NeurIPS 2021 Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

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