logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michael Fisher

University of Manchester

47H指数
484论文数
8.7K被引数
收录论文 26
发表时间
logo
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts《负责任机器人发展路线图：促进人类自主性与协作努力》
errIEEE Robotics & Automation Magazine
IF7.1
err2025-11-10
err0
errOAAI
errDejanira Araiza-Illan; Kevin Baum; Helen Beebee; Raja Chatila; Sarah Moth-Lund Christensen; Simon Coghlan; Emily Collins; S.Kate Conroy; Alcino Cunha; Anna Dobrosovestnova; Hein Duijf; Vanessa Evers; Michael Fisher; Nico Hochgeschwender; Nadin Kökciyan; Séverin Lemaignan; Francisco Rodriguez-Lera; Sara Ljungblad; Martin Magnusson; Masoumeh Mansouri; Michael Milford; AJung Moon; Thomas M. Powers; Pericle Salvini; Teresa Scantamburlo; Nick Schuster; Marija Slavkovik; Ufuk Topcu; Daniel Vanegas; Andrzej Wasowski; Yi Yang
err分享
err收藏
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints通过算术约束对领导者/跟随者系统进行参数化验证
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-09-01
err0
errOAAI
errKourtis, Georgios; Dixon, Clare; Fisher, Michael
err分享
err收藏
FatPlants: a comprehensive information system for lipid-related genes and metabolic pathways in plants
errDATABASE-THE JOURNAL OF BIOLOGICAL DATABASES AND CURATION
IF3.6
err2024-08-05
err1
errOAAI
errXu, Chunhui; Shaw, Trey; Choppararu, Sai Akhil; Lu, Yiwei; Farooq, Shaik Naveed; Qin, Yongfang; Hudson, Matt; Weekley, Brock; Fisher, Michael; He, Fei; Nascimento, Jose Roberto Da Silva; Wergeles, Nicholas; Joshi, Trupti; Bates, Philip D.; Koo, Abraham J.; Allen, Doug K.; Cahoon, Edgar B.; Thelen, Jay J.; Xu, Dong
err分享
err收藏
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition在ARIAC 2023工业自动化竞赛中，机器人之间存在的影响
errJOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF2.8
err2024-07-31
err0
errOAAI
errBecker, Leandro Buss; Downs, Anthony; Schlenoff, Craig; Albrecht, Justin; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael; Fisher, Michael
err分享
err收藏
Security-Minded Verification of Cooperative Awareness Messages
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2024-07-01
err1
errOAAI
errFarrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A.; Dixon, Clare; Sheik, Al Tariq; Yuan, Hu; Maple, Carsten
err分享
err收藏
Laser Scanning Method for High-Resolution Thickness Mapping of Lithium-Ion Pouch Cells用于锂离子袋装电池高分辨率厚度测绘的激光扫描方法
errJOURNAL OF THE ELECTROCHEMICAL SOCIETY
IF3.3
err2023-12-22
err3
errOAAI
errSimunovic, Zachary; Dressler, Reid; Alter, Ethan D.; Trussler, Simon; Harlow, Jessie; Johnson, Mike; McMonigle, Chris; Fisher, Michael; Metzger, Michael
err分享
err收藏
REAL-WORLD EVALUATION OF A TECHNOLOGY-ENABLED SYSTEM FOR THE AUGMENTATION OF PHYSICAL ACTIVITY BEHAVIOUR CHANGE IN CARDIAC REHABILITATION
errHEART
IF4.4
err2022-11-21
err2
errOAAI
errRayner, Tom A.; Meenamkuzhy-Hariharan, Priyanka; Tew, Kirstie F.; Fisher, Michael
err分享
err收藏
AI Journal Special Issue on Ethics for Autonomous Systems
errartificial intelligence review
IF4.6
err2022-04-01
err0
PREAI
errFisher, Michael; Koenig, Sven; Slavkovik, Marija
err分享
err收藏
Verification of Autonomous Systems
errIEEE ROBOTICS & AUTOMATION MAGAZINE
IF7.1
err2022-03-01
err0
errOAAI
errAraiza-Illan, Dejanira; Fisher, Michael; Leahy, Kevin; Olszewska, Joanna Isabelle; Redfield, Signe
err分享
err收藏
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
errJOURNAL OF SENSOR AND ACTUATOR NETWORKS
IF4.2
err2021-06-25
err11
errOAAI
errAlves, Gleifer Vaz; Dennis, Louise; Fisher, Michael
err分享
err收藏
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-05-10
err8
errOAAI
errFerrando, Angelo; Dennis, Louise A.; Cardoso, Rafael C.; Fisher, Michael; Ancona, Davide; Mascardi, Viviana
err分享
err收藏
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods
errnature computational science
IF3.7
err2020-09-01
err4
errOAAI
errWebster, Matt; Breza, Michael; Dixon, Clare; Fisher, Michael; McCann, Julie
err分享
err收藏
Verifiable Self-Aware Agent-Based Autonomous Systems可验证的基于自感知代理的自治系统
errPROCEEDINGS OF THE IEEE
IF25.9
err2020-07-01
err25
errOAAI
errDennis, Louise A.; Fisher, Michael
err分享
err收藏
A corroborative approach to verification and validation of human-robot teams
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err2019-11-25
err40
errOAAI
errWebster, Matt; Western, David; Araiza-Illan, Dejanira; Dixon, Clare; Eder, Kerstin; Fisher, Michael; Pipe, Anthony G.
err分享
err收藏
Formal Specification and Verification of Autonomous Robotic Systems: A Survey自主机器人系统的正式规范和验证: 一项调查
errACM COMPUTING SURVEYS
IF28
err2019-09-13
err181
errOAAI
errLuckcuck, Matt; Farrell, Marie; Dennis, Louise A.; Dixon, Clare; Fisher, Michael
err分享
err收藏
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
errformal methods and software engineering icfem
IF0
err2019-09-09
err11
PREAI
errZhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
err分享
err收藏
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots关于机器人的主动，透明和可验证的道德推理
errPROCEEDINGS OF THE IEEE
IF25.9
err2019-03-01
err40
PREAI
errBremner, Paul; Dennis, Louise A.; Fisher, Michael; Winfield, Alan F.
err分享
err收藏
Autonomous Nuclear Waste Management
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2018-11-01
err17
errOAAI
errAitken, Jonathan M.; Veres, Sandor M.; Shaukat, Affan; Gao, Yang; Cucco, Elisa; Dennis, Louise A.; Fisher, Michael; Kuo, Jeffrey A.; Robinson, Thomas; Mort, Paul E.
err分享
err收藏
COST-EFFECTIVENESS OF NIRAPARIB VERSUS ROUTINE SURVEILLANCE AND OLAPARIB FOR THE MAINTENANCE TREATMENT OF ADULT PATIENTS WITH OVARIAN CANCER IN THE UNITED STATES
errVALUE IN HEALTH
IF6
err2018-05-01
err0
errOAAI
errFisher, M.; Guy, H.; Walder, L.
err分享
err收藏
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
errIEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS
IF4.4
err2016-04-01
err50
errOAAI
errWebster, Matt; Dixon, Clare; Fisher, Michael; Salem, Maha; Saunders, Joe; Koay, Kheng Lee; Dautenhahn, Kerstin; Saez-Pons, Joan
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
D
Dong Xu
H 指数: 87 · 论文数: 687
K
Kerstin Dautenhahn
H 指数: 82 · 论文数: 635
E
Edgar B. Cahoon
H 指数: 67 · 论文数: 317
S
Sven Koenig
H 指数: 67 · 论文数: 505
J
Jay J. Thelen
H 指数: 53 · 论文数: 197
查看更多