Abstract: An important tool for proving the safety of dynamical systems is the notion of a barrier certificate. In this paper, we prove that every robustly safe ordinary differential equation has a ...

Sage Elsesser’s approach to skateboarding—and really just life in general—has always been about balance. He's an artist and an athlete. He's calm and chaotic. He's low-key and loud as hell. And he's ...