Skip to Content
Toggle navigation
Casa
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Accesso
Explore, Discover, Share
Partire
Advanced search
Ricerca
Cancellare i filtri
Filtro per:
Parola chiave
Differential dynamic logic
Cancella il filtro Parola chiave: Differential dynamic logic
1
termine di ricerca trovato
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Lavoro in corso
Slideshow
Download search results to .CSV file
Risultati della ricerca
Add to Category
Remove From Category
ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic
Parola chiave:
Differential dynamic logic
,
Hybrid systems
,
Cyber-physical Systems
,
Safety-critical Systems
,
Surgical-robots
, and
Theorem provers
Creatore:
McClain, Natalie
Advisor:
Fichera, Loris
and
Bohrer, Rose
Editore:
Worcester Polytechnic Institute
data di creazione:
2023-04-24
Resource Type:
Major Qualifying Project
Toggle facets
Affina la ricerca
Collections
Major Qualifying Projects
1
Year
2023
1
Creatore
McClain, Natalie
1
Advisor
Bohrer, Rose
1
Fichera, Loris
1
Major
Computer Science
1
Editore
Worcester Polytechnic Institute
1
Soggetto
Computing
1
Health
1
Well-Being
1
UN SDG
3 - Good Health and Well-being
1
Tipo di risorsa
Major Qualifying Project
1
