University of Washington
University of Pennsylvania
Foundations of Safe Autonomy: On-Board Verification and Formally-Constrained Machine Learning
Cornell University
Learning in the Presence of Unawareness
