Formal Verification for Human-Robot Interaction in Medical Environments-Reference-Cited by-同舟云学术

Formal Verification for Human-Robot Interaction in Medical Environments

Published:2021-03-08 Issue: Volume: Page:
ISSN:
Container-title:Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction
language:
Short-container-title:

Author:

Choi Benjamin J.¹,Park Juyoun²,Park Chung Hyuk²

Affiliation:

1. Potomac School, McLean, VA, USA

2. George Washington University, Washington, DC, USA

Funder

National Science Foundation (NSF)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3434074.3447155

Reference17 articles.

1. Determine the most common clinical symptoms in COVID- 19 patients: a systematic review and meta-analysis;Alimohamadi Yousef;Journal of preventive medicine and hygiene,2020

2. SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration

3. Sampling-based motion planning with temporal goals

4. Formal verification of human-robot teamwork

5. Temporal Logic Motion Planning for Mobile Robots

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diagnosis of SARS-CoV-2 Via Rapid Antigen Kits;2023 IEEE Technology & Engineering Management Conference - Asia Pacific (TEMSCON-ASPAC);2023-12-14

2. Logic programming for deliberative robotic task planning;Artificial Intelligence Review;2023-01-18

3. Formal modeling and verification of multi-robot interactive scenarios in service settings;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

4. Testing Robot System Safety by Creating Hazardous Human Worker Behavior in Simulation;IEEE Robotics and Automation Letters;2022-04