Media type: E-Article Title: Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures Contributor: Ayub, Muhammad Saad; Hasan, Osman Published: Springer Science and Business Media LLC, 2018 Published in: Innovations in Systems and Software Engineering, 14 (2018) 2, Seite 83-100 Language: English DOI: 10.1007/s11334-018-0315-8 ISSN: 1614-5046; 1614-5054 Keywords: Software Origination: Footnote: