关注
Marco Lampacrescia
Marco Lampacrescia
Bosch Research
在 de.bosch.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Towards verifying robotic systems using statistical model checking in STORM
M Lampacrescia, M Klauck, M Palmas
International Conference on Bridging the Gap between AI and Reality, 446-467, 2024
22024
Method for calibrating a multi-sensor system using an artificial neural network
H Xiao, M Lampacrescia
US Patent 11,415,433, 2022
22022
Towards a Verifiable Toolchain for Robotics
C Street, Y Warsame, M Mansouri, M Klauck, C Henkel, M Lampacrescia, ...
Proceedings of the AAAI Symposium Series 4 (1), 398-403, 2024
2024
Towards life-long learning of posture control for s-EMG prostheses
M Lampacrescia
arXiv preprint arXiv:1511.07785, 2015
2015
Master Thesis Enhancing Robot Navigation and Coverage Tasks by Moving Obstacles Autonomously
M Lampacrescia
系统目前无法执行此操作，请稍后再试。
文章 1–5
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交