Chris Wedel is a fan of all things tech and gadgets. Living in rural Kansas with his wife and two young boys makes finding ways to stay online tricky — not to mention making my homestead smarter.

Abstract: This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) ...