Code maintenance, bug fixes, integration, testing, documentation — this was what made the global giants. But these functions ...

Abstract: This work provides a provably safe feedback control for nonholonomic vehicles that autonomously operate in an obstacle field. A barrier function with a tunable, exponential decay rate is ...

Abstract: Many safety-critical applications of neural networks, such as robotic control, require safety guarantees. This article introduces a method for ensuring the safety of learned models for ...