Leila Fotoohi
Dependable Service Robot – from Hazard Identification to Formal Verification of Safety Requirements