Formally-Verified Model-Based Control Synthesis
	Trustworthy Learning-Based Planning and Control
	Safe and Robust Human-Robot Interaction