%0 Journal Article %1 journals/trob/VicentiniARM20 %A Vicentini, Federico %A Askarpour, Mehrnoosh %A Rossi, Matteo %A Mandrioli, Dino %D 2020 %J IEEE Trans. Robotics %K dblp %N 1 %P 42-61 %T Safety Assessment of Collaborative Robotics Through Automated Formal Verification. %U http://dblp.uni-trier.de/db/journals/trob/trob36.html#VicentiniARM20 %V 36

@article{journals/trob/VicentiniARM20, added-at = {2023-07-27T00:00:00.000+0200}, author = {Vicentini, Federico and Askarpour, Mehrnoosh and Rossi, Matteo and Mandrioli, Dino}, biburl = {https://www.bibsonomy.org/bibtex/2800fd6d71ed54153c3a899913e255f09/dblp}, ee = {https://doi.org/10.1109/TRO.2019.2937471}, interhash = {0dff09117ca03bf0a3598ad7da53a574}, intrahash = {800fd6d71ed54153c3a899913e255f09}, journal = {IEEE Trans. Robotics}, keywords = {dblp}, number = 1, pages = {42-61}, timestamp = {2024-04-08T20:04:24.000+0200}, title = {Safety Assessment of Collaborative Robotics Through Automated Formal Verification.}, url = {http://dblp.uni-trier.de/db/journals/trob/trob36.html#VicentiniARM20}, volume = 36, year = 2020 }