Index Catalog // Digital WPI

Start Over

Filtering by: Keyword Theorem provers UN SDG 3 - Good Health and Well-being

ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Keyword:

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

Creator:

McClain, Natalie

Advisor:

Fichera, Loris and Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-24

Resource Type:

Major Qualifying Project