Showing cs.LOShow all
2 papers · 1 filter
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…