Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador McClain, Natalie Palavra-chave 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

Filtre sua busca