Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

Kangfeng Ye, Fang Yan, Simos Gerasimou
January, 2024
Cite arXiv