共 50 条
- [41] Guided model checking with a Bayesian meta-heuristic FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 217 - 226
- [42] Bayesian Statistical Model Checking for Continuous Stochastic Logic 2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 35 - 45
- [44] Kullback–Leibler divergence for Bayesian nonparametric model checking Journal of the Korean Statistical Society, 2021, 50 : 272 - 289
- [47] Bayesian inference in the multivariate mixed model MANOVA AMERICAN JOURNAL OF MATHEMATICAL AND MANAGEMENT SCIENCES, VOL 17, NOS 1 AND 2, 1997: MULTIVARIATE STATISTICAL INFERENCE - MSI-2000L MULTIVARIATE STATISTICAL ANALYSIS IN HONOR OF PROFESSOR MINORU SIOTANI ON HIS 70TH BIRTHDAY, 1997, 17 (1&2): : 97 - 116