Organizational Unit:
Daniel Guggenheim School of Aerospace Engineering
Permanent Link
Research Organization Registry ID
Description
Previous Names
Parent Organization
Parent Organization
Includes Organization(s)
ArchiveSpace Name Record
Publication Search Results
The design, education and evolution of a robotic baby
TOWARDS TRACTABLE METHODS FOR FORMAL VERIFICATION OF AUTONOMY IN AEROSPACE SYSTEMS
Elicitation and formal specification of run time assurance requirements for aerospace collision avoidance systems
Rotor-Rotor Interactions in the Design of Unmanned Aerial Systems
Optimization-based Approaches to Safety-Critical Control with Applications to Space Systems
Versatile and structurally efficient aerial systems assembled from polyhedral rotorcraft modules
Risk analysis framework for unmanned systems