We use the Navier-Stokes equations every day, for applications from building rockets to designing drugs. But sometimes they ...

Arrow's impossibility theorem is a social-choice paradox illustrating the impossibility of having an ideal voting structure.

We introduce a new class of certificates, termed graph control barrier function (GCBF), which are based on the well-established control barrier function theory for safety guarantees and utilize a ...