87 citations · 160 across the 9 of their papers we have counts for
1 paper · 1 filter
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…