设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(1)
SpringerLink电子期刊(98)
NATURE电子期刊(1)
Elsevier电子期刊(22)
在“
Elsevier电子期刊
”中,
命中:
22
条,耗时:小于0.01 秒
在所有数据库中总计命中:
122
条
1.
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
作者:
Má
;
ria Svoreňová
;
a
;
b
;
maria.svorenova@cs.ox.ac.uk
;
Jan Křetí
;
nský
;
c
;
jan.kretinsky@tum.de
;
Martin Chmelí
;
k
d
;
martin.chmelik@ist.ac.at
;
Krishnendu
Chatterjee
d
;
k
chatterjee
@ist.ac.at
;
Ivana Černá
;
a
;
cerna@muni.cz
;
Calin Belta
e
;
cbelta@bu.edu
关键词:
Control
;
Linear stochastic system
;
Temporal logic
;
Abstraction refinement
;
Games
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2017
2.
Trading performance for stability in Markov decision processes
作者:
Tomá
;
&scaron
;
Brá
;
zdil
a
;
xbrazdil@fi.muni.cz" class="auth_mail" title="E-mail the corresponding author
;
Krishnendu
Chatterjee
b
;
krish.chat@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Vojtěch Forejt
c
;
vojfor@cs.ox.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Antoní
;
n Kučera
a
;
tony@fi.muni.cz" class="auth_mail" title="E-mail the corresponding author
关键词:
Markov decision processes
;
Mean payoff
;
Stability
;
Stochastic systems
;
Controller synthesis
刊名:Journal of Computer and System Sciences
出版年:2017
3.
Optimal cost almost-sure reachability in POMDPs
作者:
Krishnendu
Chatterjee
a
;
Martin Chmelí
;
k
a
;
martin.chmelik@ist.ac.at" class="auth_mail" title="E-mail the corresponding author
;
Raghav Gupta
b
;
Ayush Kanodia
b
关键词:
POMDPs
;
Reachability objectives
;
Total cost
;
Approximation algorithms
刊名:Artificial Intelligence
出版年:2016
4.
What is decidable about partially observable Markov decision processes with ω-regular objectives
作者:
Krishnendu
Chatterjee
;
krish.chat@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Martin Chmelí
k ;
Mathieu Tracol
关键词:
Markov decision processes
;
Partially observable Markov decision processes (POMDPs)
;
ω-Regular conditions
;
Parity objectives
;
Finite-memory strategies
刊名:Journal of Computer and System Sciences
出版年:2016
5.
Randomness for free
作者:
Krishnendu
Chatterjee
a
;
Krishnendu
.
Chatterjee
@ist.ac.at" class="auth_mail" title="E-mail the corresponding author
;
Laurent Doyen
b
;
doyen@lsv.ens-cachan.fr" class="auth_mail" title="E-mail the corresponding author
;
Hugo Gimbert
c
;
hugo.gimbert@labri.fr" class="auth_mail" title="E-mail the corresponding author
;
Thomas A. Henzinger
a
;
tah@ist.ac.at" class="auth_mail" title="E-mail the corresponding author
刊名:Information and Computation
出版年:2015
6.
Core/shell nanoparticles in biomedical applications
作者:
Krishnendu
Chatterjee
;
Sreerupa Sarkar
;
K. Jagajjanani Rao
;
Santanu Paria
;
santanuparia@yahoo.com" class="auth_mail
;
sparia@nitrkl.ac.in" class="auth_mail
关键词:
Core/shell nanoparticles
;
Biomedical
;
Bioimaging
;
MRI
;
Drug delivery
刊名:Advances in Colloid and Interface Science
出版年:July 2014
7.
Strategy improvement for concurrent reachability and turn-based stochastic safety games
作者:
Krishnendu
Chatterjee
a
;
krish.chat@gmail.com
;
krish.chat@ist.ac.at
;
Luca de Alfaro
b
;
Thomas A. Henzinger
a
关键词:
Game theory
;
Stochastic games
;
Concurrent games
;
Reachability and safety objectives
;
Strategy-improvement algorithms
刊名:Journal of Computer and System Sciences
出版年:2013
8.
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
作者:
Krishnendu
Chatterjee
;
Vinayak S. Prabhu
关键词:
Timed automata and timed games
;
Safety objectives
;
Controller synthesis
;
Zeno systems
刊名:Information and Computation
出版年:2013
9.
Density games
作者:
Sebastian Novak
;
Krishnendu
Chatterjee
;
Martin A. Nowak
关键词:
Evolutionary game theory
;
Evolutionary dynamics
;
Replicator equation
;
Carrying capacity
;
Mathematical biology
刊名:Journal of Theoretical Biology
出版年:2013
10.
A survey of stochastic ¦Ø-regular games
作者:
Krishnendu
Chatterjee
a
;
krishnendu
.
chatterjee
@ist.ac.at
;
Thomas A. Henzinger
a
;
b
关键词:
Game theory
;
Stochastic games
;
¦Ø-Regular objectives
刊名:Journal of Computer and System Sciences
出版年:2012
1
2
3
按检索点细分(22)
作者(22)
按出版年细分(22)
2027年及以后(1)
2017年(2)
2016年(2)
2015年(1)
2013年(3)
2012年(5)
2011年(1)
2010年(2)
2008年(1)
2007年(1)
2006年(1)
2004年(2)
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
.