Probabilistic model checking; Model learning; Genetic algorithm;
机译:学习用于模型检查的概率模型:进化方法和实证研究
机译:弥合概率模型检查和概率规划之间的差距:调查,编译和经验比较
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法(Vol 29,PG 1393,2018)
机译:我们应该学习模型检查的概率模型吗?一种新方法和实证研究
机译:用工程模型和应用程序进行概率符号模型检查。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:数值与统计概率模型检查:一项实证研究
机译:扩散键强度建模的概率半经验方法