基本信息
views: 33
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
My most recent area of research is ensuring safety for autonomous systems. Autonomous systems are expected to provide optimal performance in a wide range of environments. Ensuring safety and optimality of autonomous systems would not only require reasoning about systems that evolve in continuous state-space, but also have software and machine learning components. In our lab, we not only work on the theoretical foundations for developing such algorithms, but also apply these algorithms on various case studies. I am interested in combining numerical, probabilistic, and symbolic methods for reasoning about autonomous systems.
Research Interests
Papers共 60 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024pp.259-263, (2024)
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)pp.99-110, (2024)
Shengjie Xu,Clara Hobbs, Yukai Song,Bineet Ghosh, Sharmin Aktar, Lei Yang,Yi Sheng,Weiwen Jiang,Jingtong Hu,Parasara Sridhar Duggirala,Samarjit Chakraborty
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)pp.289-290, (2024)
Real-Time Systemsno. 1 (2024): 1-42
ATVA (1)pp.312-333, (2023)
CoRR (2023)
Cited0Views0EIBibtex
0
0
arXiv (Cornell University) (2022)
2022 IEEE 28TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2022)pp.11-20, (2022)
Load More
Author Statistics
#Papers: 0
#Citation: 0
H-Index: 0
G-Index: 0
Sociability: 0
Diversity: 0
Activity: 0
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn