Suguman Bansal
Suguman Bansal
Graduate Student, Computer Science, Rice University
Verified email at rice.edu - Homepage
Title
Cited by
Cited by
Year
Synthesis of asynchronous reactive programs from temporal specifications
S Bansal, KS Namjoshi, Y Sa’ar
International Conference on Computer Aided Verification, 367-385, 2018
42018
Comparator Automata in Quantitative Verification
S Bansal, S Chaudhuri, MY Vardi
International Conference on Foundations of Software Science and Computation …, 2018
42018
Automata vs Linear-Programming Discounted-Sum Inclusion
S Bansal, S Chaudhuri, MY Vardi
International Conference on Computer-Aided Verification (CAV), 2018., 2018
32018
Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications
S Bansal, Y Li, LM Tabajara, MY Vardi
arXiv preprint arXiv:1911.08145, 2019
22019
Safety and co-safety comparator automata for discounted-sum inclusion
S Bansal, MY Vardi
International Conference on Computer Aided Verification, 60-78, 2019
12019
Algorithmic analysis of Regular repeated games
S Bansal
Rice University, 2016
12016
Automata-Based Quantitative Verification
S Bansal
University of Pennsylvania, 2020
2020
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, 2019
2019
Coordinator Synthesis
S Bansal, KS Namjoshi, Y Sa’ar
Workshop on Synthesis 2019, 2019
2019
Equilibria in Quantitative Concurrent Games
S Almagor, R Alur, S Bansal
arXiv preprint arXiv:1809.10503, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–10