Verified Safe Reinforcement Learning for Neural Network Dynamic Models
Proposes a verified safe reinforcement learning framework combining curriculum learning, incremental verification, and multi-controller strategies, extending safety horizon by 10x.
Junlin Wu, Huan Zhang, Yevgeniy Vorobeychik