no code implementations • 16 Mar 2023 • Kangfeng Ye, Jim Woodcock, Simon Foster
Our work in essence is based on Hehner's predicative probabilistic programming, but there are several obstacles to the wider adoption of his work.
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.