首页> 外文OA文献 >Smart Sampling for Lightweight Verification of Markov Decision Processes

【2h】

Smart Sampling for Lightweight Verification of Markov Decision Processes

机译：马尔科夫决策过程的轻量级验证的智能采样

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
D'argenio, Pedro; Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Smart sampling for lightweight verification of Markov decision processes [J] . Pedro DArgenio, Axel Legay, Sean Sedwards, International Journal on Software Tools for Technology Transfer . 2015,第4期

机译：智能采样可对Markov决策过程进行轻量级验证
2. VERIFICATION OF GENERAL MARKOV DECISION PROCESSES BY APPROXIMATE SIMILARITY RELATIONS AND POLICY REFINEMENT [J] . Haesaert Sofie, Soudjani Sadegh Esmaeil Zadeh, Abate Alessandro SIAM Journal on Control and Optimization . 2017,第4期

机译：通过近似相似性关系和政策细化验证通用马尔可夫决策过程
3. Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [J] . FEI HE, XIAOWEI GAO, MIAOFEI WANG, ACM transactions on software engineering and methodology . 2016,第3期

机译：学习加权假设以进行马尔可夫决策过程的组成验证
4. Sufficiency of Markov policies for continuous-time Markov decision processes and solutions to Kolmogorov's forward equation for jump Markov processes [C] . Feinberg E.A., Mandava M., Shiryaev A.N. IEEE Annual Conference on Decision and Control . 2013

机译：连续时间马尔可夫决策过程的马尔可夫策略的充分性以及跳跃马尔可夫过程的Kolmogorov正方程的解
5. Modern Methods of Hidden Markov Models and Partially Observable Markov Decision Processes in Biostatistics [D] . Xu, Zekun. 2020

机译：隐藏马尔可夫模型的现代方法和止痛性的部分可观察马尔可夫决策过程
6. Decision Making Under Uncertainty: A Neural Model Based on Partially Observable Markov Decision Processes [O] . Rajesh P. N. Rao 2010

机译：不确定性下的决策：基于部分可观察的马尔可夫决策过程的神经模型
7. Smart Sampling for Lightweight Verification of Markov Decision Processes [O] . Axel Legay, Sean Sedwards, Louis-marie Traonouez 2016

机译：用于马尔可夫决策过程轻量级验证的智能抽样
8. Adaptive Sampling Algorithm for Solving Markov Decision Processes [R] . Chang, H. S. , Fu, M. C. , Marcus, S. I. 2002

机译：求解马尔可夫决策过程的自适应采样算法

Smart Sampling for Lightweight Verification of Markov Decision Processes

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅