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.
no code implementations • 16 Mar 2023 • Kangfeng Ye, Jim Woodcock, Simon Foster
We demonstrate our work with six examples, including problems in robot localisation, classification in machine learning, and the termination of probabilistic loops.
no code implementations • 12 Mar 2024 • Kangfeng Ye, Jim Woodcock
To interpret RoboCertProb over RoboChart models, we give a Markov semantics (DTMCs and MDPs) to RoboChart, derived from its existing transformation semantics to the PRISM language.