Suguman Bansal

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
On Satisficing in Quantitative Games.
CoRR, 2021

2020
Synthesis of coordination programs from linear temporal specifications.
Proc. ACM Program. Lang., 2020

Automata-based Quantitative Verification.
CoRR, 2020

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Synthesis of coordination programs from linear temporal logic.
CoRR, 2019

Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Equilibria in Quantitative Concurrent Games.
CoRR, 2018

Comparator Automata in Quantitative Verification.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Automata vs Linear-Programming Discounted-Sum Inclusion.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018


  Loading...