Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Bohrer, Rose Advisor Fichera, Loris Publisher Worcester Polytechnic Institute Subject Computing

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

Limit your search