Suguman Bansal
Suguman Bansal
Graduate Student, Computer Science, Rice University
Verified email at rice.edu - Homepage
TitleCited byYear
Comparator Automata in Quantitative Verification
S Bansal, S Chaudhuri, MY Vardi
International Conference on Foundations of Software Science and Computation …, 2018
12018
Equilibria in Quantitative Concurrent Games
S Almagor, R Alur, S Bansal
arXiv preprint arXiv:1809.10503, 2018
2018
Synthesis Of Asynchronous Reactive Programs From Temporal Specifications
S Bansal, KS Namjoshi, Y Sa’ar
International Conference on Computer Aided Verification, 367-385, 2018
2018
Automata vs Linear-Programming Discounted-Sum Inclusion
S Bansal, S Chaudhuri, MY Vardi
International Conference on Computer-Aided Verification (CAV), 2018., 2018
2018
Algorithmic analysis of Regular repeated games
S Bansal
Rice University, 2016
2016
Chanakya: Computer-Aided Strategic Reasoning
S Bansal, S Chaudhuri
Off the Beaten Track, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–6