@inbook{inbook, title = {{A Framework for聽Verifying the聽Collision Freeness of聽Collaborative Robots (Work in聽Progress)}},
publisher = {{Springer Nature Switzerland}},
url = {{http://dx.doi.org/10.1007/978-3-031-47705-8_22 }},
year = {{2024}},
month = {{1}},
author = {{Graczyk A and Hadjikosti M and Popescu A}},
doi = {{10.1007/978-3-031-47705-8_22}},
isbn = {{9783031477041}},
pages = {{391-397}},
note = {{Accessed on 2025/01/09}}}