TY  - RPRT
TI  - Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
AU  - Kangfeng Ye
AU  - Fang Yan
AU  - Simos Gerasimou
PY  - 2024
UR  - https://arxiv.org/abs/2403.00169
ID  - 2403.00169
ER  -