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…