Suguman Bansal

According to our database, Suguman Bansal authored at least 22 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Decompositions in Compositional Translation of LTLf to DFA (Student Abstract).

Yash Kankariya, Suguman Bansal

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Automata-Based Quantitative Reasoning.

Suguman Bansal

ACM SIGLOG News, July, 2023

On Strategies in Synthesis Over Finite Traces.

Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells

CoRR, 2023

Multi-Agent Systems with Quantitative Satisficing Goals.

Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Model Checking Strategies from Synthesis over Finite Traces.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Comparator automata in quantitative verification.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Log. Methods Comput. Sci., 2022

Compositional Safety LTL Synthesis.

Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Specification-Guided Reinforcement Learning.

Suguman Bansal

Proceedings of the Static Analysis - 29th International Symposium, 2022

Specification-Guided Learning of Nash Equilibria with High Social Welfare.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

A Framework for Transforming Specifications in Reinforcement Learning.

Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan

Proceedings of the Principles of Systems Design, 2022

Synthesis from Satisficing and Temporal Goals.

Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

On Satisficing in Quantitative Games.

Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Compositional Reinforcement Learning from Logical Specifications.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Adapting Behaviors via Reactive Synthesis.

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Synthesis of coordination programs from linear temporal specifications.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

Proc. ACM Program. Lang., 2020

Automata-based Quantitative Verification.

Suguman Bansal

CoRR, 2020

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Synthesis of coordination programs from linear temporal logic.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

CoRR, 2019

Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion.

Suguman Bansal, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Equilibria in Quantitative Concurrent Games.

Shaull Almagor, Rajeev Alur, Suguman Bansal

CoRR, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Automata vs Linear-Programming Discounted-Sum Inclusion.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 30th International Conference, 2018