Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- 期刊名称SIAM Journal on Control and Optimization
- 作者Haesaert, Sofie; Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro
- 卷第55卷
- 期第4期
- 印刷ISSN0363-0129
- 电子ISSN1095-7138
- 文件大小586.22KB
- 发表时间2017-01
- DOI10.1137/16M1079397
- 页码2333-2367
同期刊推荐
MicroRNAs: tools for cancer diagnosticsParanjape, T; Slack, F J; Weidhaas, J B · Gut · 2009
Simple method for estimating trypsinWiggins, H. S. · Gut · 1967
Author's responseFoell, D. · Gut · 2010
GI highlights from the literatureMcLean, M. H. · Gut · 2013
Highlights from this issueEl-Omar, E. M.; Grady, W.; Gerbes, A. L. · Gut · 2013
Acute pancreatitis reclassifiedWindsor, J. A.; Petrov, M. S. · Gut · 2013
Classification of pancreatitis.Sarner, M; Cotton, P B · Gut · 1984
Infections of the gastrointestinal tractFarthing, M J G · Gut · 1987