Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave Differential dynamic logic Tema Computing

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