Pages that link to "Item:Q4560620"
From MaRDI portal
The following pages link to Formal Verification Applied to Robotic Surgery (Q4560620):
Displaying 4 items.
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- Task level specification and formal verification of robotics control systems: State of the art and case study (Q4546958) (← links)