Semi-formal Methods for Security Informed Safety Assessment of Robotic Systems
Data
2023
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Wydawnictwo Politechniki Łódzkiej
Lodz University of Technology Press
Lodz University of Technology Press
Abstrakt
Opis
Słowa kluczowe
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
Cytowanie
Kharchenko V., Abakumov A., Yakovlev S., Semi-formal Methods for Security Informed Safety Assessment of Robotic Systems. W: Progress in Polish Artificial Intelligence Research 4, Wojciechowski A. (Ed.), Lipiński P. (Ed.)., Seria: Monografie Politechniki Łódzkiej Nr. 2437, Wydawnictwo Politechniki Łódzkiej, Łódź 2023, s. 457-458, ISBN 978-83-66741-92-8, doi: 10.34658/9788366741928.72.