Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. - Ayub, Muhammad Saad; Hasan, Osman (2017)