Cost-Utility Analysis in Probabilistic Models

被引：2
作者：
Baier, Christel [1 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
来源：
2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) | 2016年
关键词：
MEAN-PAYOFF;
D O I：
10.1109/TASE.2016.10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 16 条
[1]  
Andova S, 2003, LECT NOTES COMPUT SC, V2791, P88
[2]  
Baier C, 2014, LNCS, V8413, P515, DOI DOI 10.1007/978-3-642-54862-8
[3]  
Baier C., 2014, 23 C COMP SCI LOG 29
[4]  
Baier C, 2014, LECT NOTES COMPUT SC, V8430, P285, DOI 10.1007/978-3-319-06200-6_24
[5]   Temporal Specifications with Accumulative Values [J].
Boker, Udi ;
Chatterjee, Krishnendu ;
Henzinger, Thomas A. ;
Kupferman, Orna .
26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, :43-52
[6]   Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes [J].
Brazdil, Tomas ;
Brozek, Vaclav ;
Chatterjee, Krishnendu ;
Forejt, Vojtech ;
Kucera, Antonin .
26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, :33-42
[7]   Looking at mean-payoff and total-payoff through windows [J].
Chatterjee, Krishnendu ;
Doyen, Laurent ;
Randour, Mickael ;
Raskin, Jean-Francois .
INFORMATION AND COMPUTATION, 2015, 242 :25-52
[8]   Energy parity games [J].
Chatterjee, Krishnendu ;
Doyen, Laurent .
THEORETICAL COMPUTER SCIENCE, 2012, 458 :49-60
[9]  
Chatterjee K, 2011, LECT NOTES COMPUT SC, V6907, P206, DOI 10.1007/978-3-642-22993-0_21
[10]  
de Alfaro L, 1999, LECT NOTES COMPUT SC, V1664, P66
12