A Deployment Framework for Formally Verified Human-Robot Interactions
In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for assistive robotic applications where human-robot interaction is the main element. The deployment infrastructure hinges on a model-to-code transformatio...
| Glavni autori: | , , , |
|---|---|
| Format: | Članak |
| Jezik: | English |
| Izdano: |
IEEE
2021-01-01
|
| Serija: | IEEE Access |
| Teme: | |
| Online pristup: | https://ieeexplore.ieee.org/document/9558756/ |