Suguman Bansal

According to our database, Suguman Bansal authored at least 10 papers between 2018 and 2021.

Collaborative distances:

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

2021

On Satisficing in Quantitative Games.

Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi

CoRR, 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

Comparator Automata in Quantitative Verification.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Proceedings of the Foundations of Software Science and Computation Structures, 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