Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Fichera, Loris Keyword Theorem provers

1. 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