Index Catalog // Digital WPI

Start Over

Filtering by: Creator McClain, Natalie Keyword Differential dynamic logic

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