A new journal submission to JSS - QASCAD: Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
A joint work with Fang Yan and Simos Gerasimou
Our preprint paper (QASCAD: Quantitative Assurance and Synthesis of Controllers from Activity Diagrams) can be found on arxiv. The QASCAD tool and case studies are deposited on our GitHub repository.
Kangfeng (Randall) Ye
Research Associate (Computer Science)
My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.