Dataset Groups Activity Stream Neural Certificates 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. BibTex: @dataset{Wanxin_Jin_and_Zhaoran_Wang_and_Zhuoran_Yang_and_Shaoshuai_Mou_2024, abstract = {This paper develops an approach to learn a policy of a dynamical system that is guaranteed to be both provably safe and goal-reaching.}, author = {Wanxin Jin and Zhaoran Wang and Zhuoran Yang and Shaoshuai Mou}, doi = {10.57702/7u84mmfg}, institution = {No Organization}, keyword = {'Dynamical Systems', 'Goal-reaching', 'Neural Networks', 'Safe Control'}, month = {dec}, publisher = {TIB}, title = {Neural Certificates for Safe Control Policies}, url = {https://service.tib.eu/ldmservice/dataset/neural-certi-cates-for-safe-control-policies}, year = {2024} }
