Follow
Suguman Bansal
Suguman Bansal
Postdoctoral Researcher, Computer Science, University of Pennsylvania
Verified email at seas.upenn.edu - Homepage
Title
Cited by
Cited by
Year
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
242020
Compositional reinforcement learning from logical specifications
K Jothimurugan, S Bansal, O Bastani, R Alur
Advances in Neural Information Processing Systems 34, 10026-10039, 2021
232021
Comparator automata in quantitative verification
S Bansal, S Chaudhuri, MY Vardi
International Conference on Foundations of Software Science and Computationá…, 2018
172018
Automata vs Linear-Programming Discounted-Sum Inclusion
S Bansal, S Chaudhuri, MY Vardi
International Conference on Computer-Aided Verification (CAV), 2018., 2018
112018
Synthesis of asynchronous reactive programs from temporal specifications
S Bansal, KS Namjoshi, Y Sa’ar
International Conference on Computer Aided Verification, 367-385, 2018
102018
Safety and co-safety comparator automata for discounted-sum inclusion
S Bansal, MY Vardi
International Conference on Computer Aided Verification, 60-78, 2019
82019
On Satisficing in Quantitative Games
S Bansal, K Chatterjee, MY Vardi
International Conference on Tools and Algorithms for the Construction andá…, 2021
72021
Comparator automata in quantitative verification
MY Vardi, S Chaudhuri, S Bansal
Logical Methods in Computer Science 18, 2022
5*2022
A framework for transforming specifications in reinforcement learning
R Alur, S Bansal, O Bastani, K Jothimurugan
Springer Festschrift in honor of Prof. Tom Henzinger, 2022
52022
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
52020
Specification-Guided Learning of Nash Equilibria with High Social Welfare
K Jothimurugan, S Bansal, O Bastani, R Alur
arXiv preprint arXiv:2206.03348, 2022
22022
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
22021
Automata-Based Quantitative Verification
S Bansal
Rice University, 2020
22020
Algorithmic analysis of Regular repeated games
S Bansal
Rice University, 2016
22016
Synthesis from Satisficing and Temporal Goals
S Bansal, L Kavraki, MY Vardi, A Wells
arXiv preprint arXiv:2205.10464, 2022
2022
Compositional Safety LTL Synthesis
S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu
The system can't perform the operation now. Try again later.
Articles 1–16