134
个编辑
更改
跳到导航
跳到搜索
第247行：
第247行： + + 第255行：
第257行： + +
4.3
4.3.3 对控制问题解析解的推导 Deriving a Closed-Form Expression for Control Queries 117
4.3.3 对控制问题解析解的推导 Deriving a Closed-Form Expression for Control Queries 117
* 一个求解析解的算法
*
*
4.4.1 动机 Motivation 118
4.4.1 动机 Motivation 118
*
4.4.2 识别计划：记号和假设 Plan Identification: Notation and Assumptions 120
4.4.2 识别计划：记号和假设 Plan Identification: Notation and Assumptions 120