decision theory; Markov processes; probability; temporal logic;
机译:具有层次分解的大型Markov决策过程的在线计划
机译:学习加权假设以进行马尔可夫决策过程的组成验证
机译:CEGAR用于马尔可夫决策过程中定性性质的成分分析
机译:马尔可夫决策过程中的组成规划:时间抽象符合广义逻辑组合物
机译:用于验证并发数据结构的组成抽象
机译:使用Markov决策过程和动态规划的Web服务组合
机译:使用马尔可夫决策过程和四叉树分解的稳健运动规划