TY - CHAP
T1 - A Framework for聽Verifying the聽Collision Freeness of聽Collaborative Robots (Work in聽Progress)
T2 - iFM 2023
UR - http://dx.doi.org/10.1007/978-3-031-47705-8_22
PY - 2024/01/01
AU - Graczyk A
AU - Hadjikosti M
AU - Popescu A
ED -
DO - DOI: 10.1007/978-3-031-47705-8_22
PB - Springer Nature Switzerland
SN - 9783031477041
SP - 391
EP - 397
Y2 - 2025/05/23
ER -