Suguman Bansal

40 papers A* 6B 4Journal 19Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Specification-Guided Reinforcement Learning. Commun. ACM Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2025	—	`conf`	INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. CAV (2) Suguman Bansal, Ramneet Singh
2025	J	`jnl`	INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. CoRR Suguman Bansal, Ramneet Singh
2025	B	`conf`	Inductive Generalization in Reinforcement Learning from Specifications. ATVA Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
2025	—	`conf`	Specification-Guided Reinforcement Learning. NeuS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2024	B	`conf`	DAG-Based Compositional Approaches for LTLf to DFA Conversions. FMCAD Suguman Bansal, Yash Kankariya, Yong Li
2024	A*	`conf`	Decompositions in Compositional Translation of LTLf to DFA (Student Abstract). AAAI Yash Kankariya, Suguman Bansal
2024	J	`jnl`	Inductive Generalization in Reinforcement Learning from Specifications. CoRR Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
2024	A*	`conf`	Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. ICML Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee
2023	J	`jnl`	Automata-Based Quantitative Reasoning. ACM SIGLOG News Suguman Bansal
2023	—	`conf`	Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
2023	A*	`conf`	Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
2023	J	`jnl`	Multi-Agent Systems with Quantitative Satisficing Goals. CoRR Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
2023	J	`jnl`	On Strategies in Synthesis Over Finite Traces. CoRR Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
2022	—	`conf`	A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2022	J	`jnl`	Comparator automata in quantitative verification. Log. Methods Comput. Sci. Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2022	—	`conf`	Compositional Safety LTL Synthesis. VSTTE Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
2022	—	`conf`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	J	`jnl`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	B	`conf`	Specification-Guided Reinforcement Learning. SAS Suguman Bansal
2022	A*	`conf`	Synthesis from Satisficing and Temporal Goals. AAAI Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
2022	J	`jnl`	Synthesis from Satisficing and Temporal Goals. CoRR Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
2021	J	`jnl`	A Framework for Transforming Specifications in Reinforcement Learning. CoRR Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2021	—	`conf`	Adapting Behaviors via Reactive Synthesis. CAV (1) Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021	J	`jnl`	Adapting Behaviors via Reactive Synthesis. CoRR Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
2021	A*	`conf`	Compositional Reinforcement Learning from Logical Specifications. NeurIPS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	J	`jnl`	Compositional Reinforcement Learning from Logical Specifications. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	—	`conf`	On Satisficing in Quantitative Games. TACAS (1) Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2021	J	`jnl`	On Satisficing in Quantitative Games. CoRR Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2020	J	`jnl`	Automata-based Quantitative Verification. CoRR Suguman Bansal
2020	A*	`conf`	Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
2020	J	`jnl`	Synthesis of coordination programs from linear temporal specifications. Proc. ACM Program. Lang. Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019	J	`jnl`	Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
2019	—	`conf`	Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) Suguman Bansal, Moshe Y. Vardi
2019	J	`jnl`	Synthesis of coordination programs from linear temporal logic. CoRR Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2018	—	`conf`	Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018	B	`conf`	Comparator Automata in Quantitative Verification. FoSSaCS Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018	J	`jnl`	Comparator automata in quantitative verification. CoRR Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018	J	`jnl`	Equilibria in Quantitative Concurrent Games. CoRR Shaull Almagor, Rajeev Alur, Suguman Bansal
2018	—	`conf`	Synthesis of Asynchronous Reactive Programs from Temporal Specifications. CAV (1) Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar