Index Catalog // Hyrax

Remover filtros

Filtragem por: Palavra-chave Theorem provers

ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Palavra-chave:

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

O Criador:

McClain, Natalie

Advisor:

Fichera, Loris and Bohrer, Rose

Editor:

Worcester Polytechnic Institute

Data Criada:

2023-04-24

Resource Type:

Major Qualifying Project