The Flow has not summarised this story yet — read it at arXiv Machine Learning.
arXiv:2603. 06921v2 Announce Type: replace-cross Abstract: Safe navigation of autonomous robots remains one of the core challenges in the field, especially in dynamic and uncertain environments.
VertexCBF is a framework that learns neural control barrier functions (CBFs) by approximating the stationary Hamilton–Jacobi value function with a neural network trained through physics‑informed and sparsely supervised learning. It exploits control‑affine dynamics and a convex polytope control set to generate supervision points via GPU‑parallel vertex‑restricted tree search, ensuring the learned CBF never exceeds the specified constraint function. The method was evaluated on 15 systems, outperforming baselines by recovering larger safe sets, and demonstrated on a mobile robot that safely avoids pedestrians using a neural CBF trained with this approach.
arXiv:2605. 26452v2 Announce Type: replace-cross Abstract: Safe reinforcement learning (RL) for robotic systems requires policies that improve task performance while satisfying state and input constraints during both training and deployment.
AegisFlow is a training‑free framework that guides generative models, such as diffusion and flow matching, along safe paths by formulating the problem as a global optimal control task. It incorporates a time‑varying barrier function into the cost functional, enabling non‑myopic enforcement of constraints throughout the entire generative trajectory. Experiments show that AegisFlow outperforms existing methods in text‑guided image manipulation and robotic planning, achieving a better balance between target alignment and constraint satisfaction.
arXiv:2608. 11480v1 Announce Type: cross Abstract: Hamilton-Jacobi (HJ) reachability provides a mathematically rigorous framework for safe control of dynamical systems, but its practical application is bottlenecked by the computational complexity of solving Hamilton-Jacobi-Isaacs variational inequality PDEs in high dimensions.
arXiv:2611.06802v1 Announce Type: cross Abstract: Hamilton-Jacobi (HJ) Reachability identifies the unsafe states of a dynamical system from which it can be forced into failure under worst-case distur...