Spitzer, J.; Biswas, J.; Guha, A. Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing. AAAI 2020, 34, 13412-13419.