1 code implementation • 18 Sep 2020 • Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.