2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu +2
We present a control framework for robot-assisted dressing that augments low-level hazard response with runtime monitoring and formal verification. A parametric discrete-time Marko…