no code implementations • 23 Apr 2023 • Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
In this paper, we propose an approach for synthesizing provable reach-avoid controllers, which drive a deterministic system operating in an unknown environment to safely reach a desired target set.