带有鞅的概率规划分析

阿列克桑达尔·查卡洛夫,斯里拉姆·桑卡拉纳拉亚南.带有鞅的概率规划分析.娜塔莎·莎莉吉娜,赫尔穆特·维思,编辑,计算机辅助验证——第25届国际会议,2013年7月13日至19日,俄罗斯圣彼得堡,CAV 2013。诉讼程序.第8044卷计算机科学课堂讲稿,页511-526、施普林格、,2013 [doi]

摘要

缺少摘要。