Semi-formal Methods for Security Informed Safety Assessment of Robotic Systems - Kharchenko, Vyacheslav; Abakumov, Artem; Yakovlev, Sergiy (Wydawnictwo Politechniki Łódzkiej, 2023)
Keywords: robotic systems; safety assessment; safety assessment of robotic systems; robotic industrial systems; systemy robotyczne; ocena bezpieczeństwa; ocena bezpieczeństwa systemów robotycznych; zrobotyzowane systemy przemysłowe