2 papers
cs.RO2025
A Comprehensive Survey on Surgical Digital Twin
Afsah Sharaf Khan, Falong Fan, Doohwan DH Kim +7
With the accelerating availability of multimodal surgical data and real-time computation, Surgical Digital Twins (SDTs) have emerged as virtual counterparts that mirror, predict, a…
cs.SE2021
Simulation, Model Checking, and Execution of Activity Models
Abdurrahman Alshareef, Hessam S. Sarjoughian
This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system com…