@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 2024/09/19}}}