Bayesian Statistical Model-Checking for Complex Stochastic Systems.

Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei

Browse the full TASE paper archive.