Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave Surgical-robots

1. ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Palabra clave:: Differential dynamic logic, Hybrid systems, Cyber-physical Systems, Safety-critical Systems, Surgical-robots, and Theorem provers
Creador:: McClain, Natalie
Advisor:: Fichera, Loris and Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2023-04-24
Resource Type:: Major Qualifying Project