Kharchenko, VyacheslavAbakumov, ArtemYakovlev, Sergiy2023-09-252023-09-252023Kharchenko 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.978-83-66741-92-8http://hdl.handle.net/11652/4848https://doi.org/10.34658/9788366741928.72enDla wszystkich w zakresie dozwolonego użytkuFair use conditionrobotic systemssafety assessmentsafety assessment of robotic systemsrobotic industrial systemssystemy robotyczneocena bezpieczeństwaocena bezpieczeństwa systemów robotycznychzrobotyzowane systemy przemysłoweRozdział - monografiaLicencja PŁLUT License10.34658/9788366741928.72