Write a Blog >>

Registered user since Sun 11 Sep 2022

Name:Yan Ma
Affiliation:Nanjing University of Finance and Economics / National University of Singapore

Contributions

ASE 2022 A three-valued model abstraction framework for PCTL* stochastic model checking
Show activities from other conferences

ASE 2022-profile
View general profile