基本信息
views: 1
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Niklas Kochdumper $\,$received the B.Sc. degree in mechanical engineering, the M.Sc. degree in robotics, cognition and intelligence, and the Ph.D. degree in computer science from Technische Universität München, Germany, in 2015, 2017, and 2022, respectively. He is currently a Postdoctoral Researcher with Stony Brook University, Stony Brook, NY, USA. His research interests include formal verification of continuous and hybrid systems, reachability analysis, computational geometry, controller synthesis, and neural network verification.
Research Interests
Papers共 29 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Stanley Bak,Sergiy Bogomolov, Abdelrahman Hekal,Niklas Kochdumper,Ethan Lew, Andrew Mata, Amir Rahmati
International Conference on Hybrid Systems: Computation and Controlpp.27:1-27:13, (2024)
ICRA 2024 (2024)
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Controlpp.1-12, (2023)
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Controlpp.1-12, (2023)
Ethan Lew, Abdelrahman Hekal,Kostiantyn Potomkin,Niklas Kochdumper,Brandon Hencey,Stanley Bak,Sergiy Bogomolov
ATVApp.237-250, (2023)
arXiv (Cornell University) (2023): 79-92
Research Square (Research Square) (2023)
Load More
Author Statistics
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