共 39 条
[1]
Agha K., 2018, ACM Trans. Model. Comput. Simul., V28, P1
[2]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]
Ballarini P., 2011, Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST 2011), P143, DOI 10.1109/QEST.2011.24
[6]
Bu, 2024, Zenodo, DOI 10.5281/ZENODO.10654358
[8]
Bustan D, 2004, LECT NOTES COMPUT SC, V3114, P189
[9]
Sampling Adaptively using the Massart Inequality for Scalable Learning
[J].
2013 12TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA 2013), VOL 2,
2013,
:362-367
[10]
ON THE ASYMPTOTIC THEORY OF FIXED-WIDTH SEQUENTIAL CONFIDENCE-INTERVALS FOR THE MEAN
[J].
ANNALS OF MATHEMATICAL STATISTICS,
1965, 36 (02)
:457-462