Suguman Bansal
Orcid: 0000-0002-0405-073X
According to our database1,
Suguman Bansal
authored at least 24 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
2
1
2
1
1
2
2
5
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022
Proceedings of the Static Analysis - 29th International Symposium, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Principles of Systems Design, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proc. ACM Program. Lang., 2020
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018