"Formal probabilistic analysis of a surgical robot control algorithm with ..."

Muhammad Saad Ayub, Osman Hasan (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics