机译：在半岛决策过程中使用其模型的海洋发电厂系统运行过程的决策控制问题
机译：时限时间逻辑规范对连续时间马尔可夫过程控制策略的形式综合
机译：随机预测控制对部分观察到的马尔可夫决策过程，时间关节机会限制和应用于自主车辆控制
机译：根据PCTL规范控制Markov决策过程
机译：利用部分可观察的马尔可夫决策过程的自主无人机控制和测试方法
机译：不确定性下的决策：基于部分可观察的马尔可夫决策过程的神经模型
机译：通过加固学习检查马尔可夫决策过程的PCTL规范的统计模型
机译：基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
