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.
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.
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.