Safely Learning Task Specifications from Humans
	Reliable Planning and Control with Learned Models
	Fundamental Model-Based Tools for Verifiable Control