A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)

Ioana Sandu, Rita Borgo, Prokar Dasgupta +2

Surgical procedures are often not "standardised" (i.e., defined in a unique and unambiguous way), but rather exist as implicit knowledge in the minds of the surgeon and the surgica…