Shromona Ghosh
Orcid: 0000-0003-1832-4567
According to our database1,
Shromona Ghosh
authored at least 26 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
9
10
1
1
3
4
3
1
1
6
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.
IEEE Trans. Autom. Control., February, 2024
2023
Mach. Learn., October, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2021
Proceedings of the 2021 American Control Conference, 2021
2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.
CoRR, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.
CoRR, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
CoRR, 2017
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.
CoRR, 2017
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016