Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort Surgical-robots

ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Stichwort:

Differential dynamic logic, Hybrid systems, Cyber-physical Systems, Safety-critical Systems, Surgical-robots, and Theorem provers

Schöpfer:

McClain, Natalie

Advisor:

Fichera, Loris and Bohrer, Rose

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2023-04-24

Resource Type:

Major Qualifying Project