M
Michael Fisher
H指数:47
被引数:8,669
个人简介
暂无内容
教育背景
暂无内容
工作经历
暂无内容
荣誉奖项
暂无内容
模块化机器人系统的组合性验证方法
从结构化自然语言中自动形式化概率需求
《负责任机器人发展路线图:促进人类自主性与协作努力》
通过算术约束对领导者/跟随者系统进行参数化验证
在ARIAC 2023工业自动化竞赛中,机器人之间存在的影响
用于锂离子袋装电池高分辨率厚度测绘的激光扫描方法
HEART
IF4.4
可验证的基于自感知代理的自治系统
PROCEEDINGS OF THE IEEE
IF25.9
自主机器人系统的正式规范和验证: 一项调查
关于机器人的主动,透明和可验证的道德推理
PROCEEDINGS OF THE IEEE
IF25.9

