设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Elsevier电子期刊(8)
在“
Elsevier电子期刊
”中,
命中:
8
条,耗时:0.0259885 秒
在所有数据库中总计命中:
8
条
1.
Verifiable conditions for average optimality of continuous-time Markov decision processes
作者:
Xiaolong Zou
a
;
sysuzxl@126.com" class="auth_mail" title="E-mail the corresponding author
;
Yonghui Huang
b
;
hyongh5@mail.sysu.edu.cn" class="auth_mail" title="E-mail the corresponding author
关键词:
Continuous-time Markov decision processes
;
Average reward criterion
;
Unbounded transition rates
;
Optimal stationary policy
;
New optimality condition
刊名:Operations Research Letters
出版年:2016
2.
Efficient approximation of optimal control for continuous-time Markov games
作者:
John Fearnley
a
;
john.fearnley@liverpool.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Markus N. Rabe
b
;
rabe@berkeley.edu" class="auth_mail" title="E-mail the corresponding author
;
Sven Schewe
a
;
sven.schewe@liverpool.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Lijun Zhang
c
;
zhanglj@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author
关键词:
Continuous time Markov decision processes and games
;
Optimal control
;
Discretisation
刊名:Information and Computation
出版年:2016
3.
Optimal time-abstract schedulers for
CTMDP
s and continuous-time Markov games
作者:
Markus N. Rabe
a
;
markus.norman.rabe@googlemail.com
;
Sven Schewe
b
关键词:
Continuous-time Markov decision processes
;
Continuous-time Markov games
;
Optimal control
;
Time-bounded reachability
刊名:Theoretical Computer Science
出版年:2013
4.
Convergence of controlled models and finite-state approximation for discounted continuous-time Markov decision processes with constraints
作者:
Xianping Guo
a
;
mcsgxp@mail.sysu.edu.cn" class="auth_mail
;
Wenzhao Zhang
a
;
b
;
zhangwenzhao1987@163.com" class="auth_mail
关键词:
Constrained continuous-time Markov decision processes
;
Unbounded transition rate
;
Convergence
;
Finite approximation
刊名:European Journal of Operational Research
出版年:16 October 2014
5.
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
作者:
Marco Bernardo
a
;
bernardo@sti.uniurb.it
;
Rocco De Nicola
b
;
Michele Loreti
c
关键词:
Labeled transition systems
;
Discrete-/continuous-time Markov chains
;
Discrete-/continuous-time Markov decision processes
;
Bisimulation equivalences
;
Trace equivalences
;
Testing equivalences
刊名:Information and Computation
出版年:2013
6.
The ins and outs of the probabilistic model checker MRMC
作者:
Joost-Pieter Katoen
a
;
katoen@cs.rwth-aachen.de
;
Ivan S. Zapreev
b
;
ivan.zapreev@gmail.com
;
Ernst Moritz Hahn
c
;
emh@cs.uni-saarland.de
;
Holger Hermanns
c
;
hermanns@cs.uni-saarland.de
;
David N. Jansen
d
;
D.Jansen@cs.ru.nl
[Author vitae]
关键词:
Model checking
;
Markov chains
;
CTMC
;
DTMC
;
MRM
;
CTMDP
;
Numerical analysis
;
Discrete-event simulation
;
Bisimulation minimization
刊名:Performance Evaluation
出版年:2011
7.
Numerical analysis of continuous time Markov decision processes over finite horizons
作者:
Peter Buchholz
;
Ingo Schulz
关键词:
Uniformization
;
Continuous time Markov decision processes
;
Finite horizon
;
Error bounds
刊名:Computers and Operations Research
出版年:2011
8.
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
作者:
Christel Baier
;
Holger Hermanns
;
Joost-Pieter Katoen and Boudewijn R. Haverkort
关键词:
Continuous-time
;
Markov decision process
;
Temporal logic
;
Model checking
;
Time-bounded reachability
刊名:Theoretical Computer Science
出版年:2005
1
按检索点细分(8)
题名(1)
关键词(1)
文摘(8)
按出版年细分(8)
2016年(2)
2013年(2)
2011年(2)
2005年(1)
2000年及以前(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.