Suguman Bansal
Suguman Bansal
Assistant Professor, Computer Science, Georgia Institute of Technology
Verified email at - Homepage
Cited by
Cited by
Compositional reinforcement learning from logical specifications
K Jothimurugan, S Bansal, O Bastani, R Alur
Advances in Neural Information Processing Systems 34, 10026-10039, 2021
Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications
S Bansal, Y Li, L Tabajara, M Vardi
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9766-9774, 2020
A framework for transforming specifications in reinforcement learning
R Alur, S Bansal, O Bastani, K Jothimurugan
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Comparator automata in quantitative verification
S Bansal, S Chaudhuri, MY Vardi
Logical Methods in Computer Science 18, 2022
Synthesis of asynchronous reactive programs from temporal specifications
S Bansal, KS Namjoshi, Y Sa’ar
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Compositional safety LTL synthesis
S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu
Working Conference on Verified Software: Theories, Tools, and Experiments, 1-19, 2022
Safety and co-safety comparator automata for discounted-sum inclusion
S Bansal, MY Vardi
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Automata vs Linear-Programming Discounted-Sum Inclusion
S Bansal, S Chaudhuri, MY Vardi
International Conference on Computer-Aided Verification (CAV), 2018., 2018
Specification-guided learning of nash equilibria with high social welfare
K Jothimurugan, S Bansal, O Bastani, R Alur
International Conference on Computer Aided Verification, 343-363, 2022
On Satisficing in Quantitative Games
S Bansal, K Chatterjee, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2021
Specification-guided reinforcement learning
S Bansal
International Static Analysis Symposium, 3-9, 2022
Synthesis of coordination programs from linear temporal specifications
S Bansal, KS Namjoshi, Y Sa'ar
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2020
Synthesis from satisficing and temporal goals
S Bansal, L Kavraki, MY Vardi, A Wells
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9679-9686, 2022
Adapting Behaviors via Reactive Synthesis
G Amram, S Bansal, D Fried, LM Tabajara, MY Vardi, G Weiss
International Conference of Computer-Aided Verification, 870-893, 2021
Model Checking Strategies from Synthesis over Finite Traces
S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells
International Symposium on Automated Technology for Verification and …, 2023
Multi-agent systems with quantitative satisficing goals
S Rajasekaran, S Bansal, MY Vardi
arXiv preprint arXiv:2305.00953, 2023
Automata-Based Quantitative Verification
S Bansal
Rice University, 2020
Algorithmic analysis of Regular repeated games
S Bansal
Rice University, 2016
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)
Y Kankariya, S Bansal
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23537 …, 2024
Inductive Generalization in Reinforcement Learning from Specifications
V Subramanian, S Bansal, S Roy
NeurIPS 2023 Workshop on Generalization in Planning, 2023
The system can't perform the operation now. Try again later.
Articles 1–20