Abstract: Using a classic problem from robotics of a vertical hopping machine, we demonstrate an approach for investigating the safety of a hybrid discrete/continuous dynamic system operating in an uncertain ...