原名:Quantitative Model Checking for Analysis and Repair of Stochastic Control Policies
作品简介:2 控制策略分析与修复。 3 案例研究 [S. Russel 和 P. Norvig – 人工智能：现代方法（第二版） – Prentice Hall……
资源下载
VIP免费升级VIP
原名:Quantitative Model Checking for Analysis and Repair of Stochastic Control Policies
作品简介:2 控制策略分析与修复。 3 案例研究 [S. Russel 和 P. Norvig – 人工智能：现代方法（第二版） – Prentice Hall……
