Towards Light-Weight Probabilistic Model Checking

張明中（2008）。Prediction and Model Selection for Interval Response〔碩士論文，國立清華大學〕。華藝線上圖書館。https://doi.org/10.6843/NTHU.2008.00584
Nguyen, V., Phung, D., & Venkatesh, S. (2015). Topic Model Kernel Classification with Probabilistically Reduced Features. Journal of Data Science, 13(2), 323-340. https://doi.org/10.6339/JDS.201504_13(2).0006
Tsai, M. H. (2013). Improved Algorithms and Tools for Automata-Theoretic Model Checking [doctoral dissertation, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2013.02165
Mou, D. Y., & Zhao, W. L. (2013). An Irregular Flight Scheduling Model and Algorithm under the Uncertainty Theory. Journal of Applied Mathematics, 2013(), 541-548-260. https://doi.org/10.1155/2013/361926
Chen, Y. A. (2014). Minimal Model Program in Positive Characteristic [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2014.00827