Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Groups: Goal-reaching Formats: JSON Filter Results Neural Certiļ¬cates for Safe Control Policies This paper develops an approach to learn a policy of a dynamical system that is guaranteed to be both provably safe and goal-reaching. Dataset JSON
