4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.RO2025★ 4 cited
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Mustafa Adam, Kangfeng Ye, David A. Anisi +3
Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance…
cs.LO2024
RoboCertProb: Property Specification for Probabilistic RoboChart Models
Kangfeng Ye, Jim Woodcock
RoboChart is a core notation in the RoboStar framework which brings modern modelling and formal verification technologies into software engineering for robotics. It is a timed and…
cs.LO2024
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, captu…