Compositional reinforcement learning from logical specifications K Jothimurugan, S Bansal, O Bastani, R Alur Advances in Neural Information Processing Systems 34, 10026-10039, 2021 | 79 | 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 | 51 | 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 | 28 | 2022 |
Comparator automata in quantitative verification S Bansal, S Chaudhuri, MY Vardi Logical Methods in Computer Science 18, 2022 | 20* | 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 | 12 | 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 | 10 | 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 | 10 | 2019 |
Automata vs Linear-Programming Discounted-Sum Inclusion S Bansal, S Chaudhuri, MY Vardi International Conference on Computer-Aided Verification (CAV), 2018., 2018 | 10 | 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 | 9 | 2022 |
Specification-guided reinforcement learning S Bansal International Static Analysis Symposium, 3-9, 2022 | 8* | 2022 |
On Satisficing in Quantitative Games S Bansal, K Chatterjee, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2021 | 8 | 2021 |
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 | 6 | 2020 |
Multi-agent systems with quantitative satisficing goals S Rajasekaran, S Bansal, MY Vardi arXiv preprint arXiv:2305.00953, 2023 | 3 | 2023 |
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 | 3 | 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 | 3 | 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 | 2 | 2023 |
Automata-Based Quantitative Verification S Bansal Rice University, 2020 | 2* | 2020 |
Algorithmic analysis of Regular repeated games S Bansal Rice University, 2016 | 2 | 2016 |
Inductive Generalization in Reinforcement Learning from Specifications V Subramanian, R Kushwah, S Roy, S Bansal arXiv preprint arXiv:2406.03651, 2024 | | 2024 |
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 | | 2024 |