米凯尔·兰多尔;让-弗朗索瓦·拉斯金;奥坎·桑库尔 随机最短路径问题的变化。 (英语) Zbl 1432.90155号 D’Souza,Deepak(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8931, 1-18 (2015). 摘要:在这篇受邀的文章中,我们重温了随机最短路径问题,并展示了最近的结果如何使人们能够改进经典的解决方案:我们提出了算法,以综合对到达给定目标的路径长度分布具有多重保证的策略,而不是简单地将其预期价值最小化。我们在这里提出的概念和算法是最近在马尔可夫决策过程中获得的更一般结果的应用,这些结果在最近的一系列论文中进行了描述。关于整个系列,请参见[兹比尔1303.68013]. 引用于18文件 MSC公司: 90立方厘米 涉及图形或网络的编程 90立方厘米 随机规划 90立方厘米 马尔可夫和半马尔可夫决策过程 PDF格式BibTeX公司 XML格式引用 \textit{M.Randour}等人,Lect。注释计算。科学。8931,1-18(2015;Zbl 1432.90155) 全文: 内政部 arXiv公司