Verification and Validation of Autonomous Systems
- Necmiye Ozay
University Of Michigan
Run-Time Anomaly Detection and Mitigation in Information-Rich Cyber-Physical Systems - Kristin Rozier
Iowa State University
Multi-Platform, Multi-Architecture Runtime Verification of Autonomous Space Systems
Cryogenic Actuator Technology (CAT) Development
- Seok Woo Lee
University of Connecticut
Development of Small-Volume, High-Precision, and Reliable Cryogenic Linear Actuators by Using Novel Intermetallic Compounds - SungWoo Nam
University of Illinois at Urbana-Champaign
Corrugated Two-dimensional Material Enabled Flexoelectricity for Cryogenic Actuator Technology
Effective Human-Robot Interaction (HRI) for Space Exploration
- Sonia Chernova
Georgia Institute of Technology
Increasing Efficiency of Routine Robot Space Operations through Adjustable Autonomy and Learning from Human Instructions - Dimitra Panagou
University Of Michigan
The AstroNet: A Human-Centric Network of Free-Flying Space Co-Robots - Daniel Szafir
University Of Colorado, Boulder
Developing Principles for Effective Human Collaboration with Free-Flying Robots - Stefanie Tellex
Brown University
Human-Robot Collaboration on Complex Tasks
