Graphical Event Model Learning and Verification for Security Assessment
暂无分享,去创建一个
[1] Christopher Meek,et al. Universal Models of Multivariate Temporal Point Processes , 2016, AISTATS.
[2] Christopher J. Langmead,et al. Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine , 2009 .
[3] Yee Whye Teh,et al. Fast MCMC sampling for Markov jump processes and extensions , 2012, J. Mach. Learn. Res..
[4] Wil M. P. van der Aalst,et al. Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .
[5] Axel Legay,et al. Statistical Model Checking: An Overview , 2010, RV.
[6] Kim G. Larsen,et al. Learning Probabilistic Automata for Model Checking , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
[7] Constantin F. Aliferis,et al. The max-min hill-climbing Bayesian network structure learning algorithm , 2006, Machine Learning.