-
1
-
-
38349046031
-
-
Chatterjee, K.: Markov decision processes with multiple long-run average objectives. Technical Report, UC Berkeley, UCB/EECS-2007-105 (2007)
-
Chatterjee, K.: Markov decision processes with multiple long-run average objectives. Technical Report, UC Berkeley, UCB/EECS-2007-105 (2007)
-
-
-
-
2
-
-
33745612030
-
Markov decision processes with multiple objectives
-
Durand, B, Thomas, W, eds, STACS 2006, Springer, Heidelberg
-
Chatterjee, K., Majumdar, R., Henzinger, T.A.: Markov decision processes with multiple objectives. In: Durand, B., Thomas, W. (eds.) STACS 2006. LNCS, vol. 3884, pp. 325-336. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3884
, pp. 325-336
-
-
Chatterjee, K.1
Majumdar, R.2
Henzinger, T.A.3
-
3
-
-
37149022692
-
Multi-objective model checking of Markov decision processes
-
Grumberg, O, Huth, M, eds, TACAS 2007, Springer, Heidelberg
-
Etessami, K., Kwiatkowska, M., Vardi, M.Y., Yannakakis, M.: Multi-objective model checking of Markov decision processes. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4424
-
-
Etessami, K.1
Kwiatkowska, M.2
Vardi, M.Y.3
Yannakakis, M.4
-
4
-
-
0030412822
-
-
Etzioni, O., Hanks, S., Jiang, T., Karp, R.M., Madari, O., Waarts, O.: Efficient information gathering on the internet. In: FOCS 1996, pp. 234-243. IEEE Computer Society Press, Los Alamitos (1996)
-
Etzioni, O., Hanks, S., Jiang, T., Karp, R.M., Madari, O., Waarts, O.: Efficient information gathering on the internet. In: FOCS 1996, pp. 234-243. IEEE Computer Society Press, Los Alamitos (1996)
-
-
-
-
7
-
-
33745628168
-
Finite discounted, vector Markov decision processes
-
Technical report, Department of Decision Theory, Manchester University
-
Hartley, R.: Finite discounted, vector Markov decision processes. Technical report, Department of Decision Theory, Manchester University (1979)
-
(1979)
-
-
Hartley, R.1
-
9
-
-
0004260006
-
-
Academic Press, London
-
Owen, G.: Game Theory. Academic Press, London (1995)
-
(1995)
Game Theory
-
-
Owen, G.1
-
10
-
-
0034503926
-
-
Papadimitriou, C.H., Yannakakis, M.: On the approximability of trade-offs and optimal access of web sources. In: FOCS 2000, pp. 86-92. IEEE Computer Society Press, Los Alamitos (2000)
-
Papadimitriou, C.H., Yannakakis, M.: On the approximability of trade-offs and optimal access of web sources. In: FOCS 2000, pp. 86-92. IEEE Computer Society Press, Los Alamitos (2000)
-
-
-
-
12
-
-
3042656853
-
Time-energy design space exploration for multi-layer memory architectures
-
IEEE Computer Society Press, Los Alamitos
-
Szymanek, R., Catthoor, F., Kuchcinski, K.: Time-energy design space exploration for multi-layer memory architectures. In: DATE 04, IEEE Computer Society Press, Los Alamitos (2004)
-
(2004)
DATE 04
-
-
Szymanek, R.1
Catthoor, F.2
Kuchcinski, K.3
-
13
-
-
0040030981
-
Multi-objective infinite-horizon discounted Markov decision processes
-
White, D. J.: Multi-objective infinite-horizon discounted Markov decision processes. Journal of Mathematical Analysis and Applications 89(2), 639-647 (1982)
-
(1982)
Journal of Mathematical Analysis and Applications
, vol.89
, Issue.2
, pp. 639-647
-
-
White, D.J.1
-
14
-
-
1142275611
-
-
CODES-ISSS, ACM Press, New York 2003
-
Yang, P., Catthoor, F.: Pareto-optimization based run time task scheduling for embedded systems. In: CODES-ISSS 2003, pp. 120-125. ACM Press, New York (2003)
-
(2003)
Pareto-optimization based run time task scheduling for embedded systems
, pp. 120-125
-
-
Yang, P.1
Catthoor, F.2
|