-
1
-
-
84885948316
-
Controller synthesis for probabilistic systems
-
Kluwer, Dordrecht
-
Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems. In: Proceedings of IFIP TCS 2004, pp. 493-506. Kluwer, Dordrecht (2004)
-
(2004)
Proceedings of IFIP
, vol.TCS 2004
, pp. 493-506
-
-
Baier, C.1
Größer, M.2
Leucker, M.3
Bollig, B.4
Ciesinski, F.5
-
2
-
-
49049112057
-
Branching-time model-checking of probabilistic pushdown automata
-
Brázdil, T., Brožek, V., Forejt, V.: Branching-time model-checking of probabilistic pushdown automata. In: Proceedings of INFINITY 2007, pp. 24-33 (2007)
-
(2007)
Proceedings of INFINITY
, pp. 24-33
-
-
Brázdil, T.1
Brožek, V.2
Forejt, V.3
-
3
-
-
34547364464
-
-
Brázdil, T., Brožek, V., Forejt, V., Kučera, A.: Stochastic games with branching-time winning objectives. In: Proceedings of LICS 2006, pp. 349-358. IEEE, Los Alamitos (2006)
-
Brázdil, T., Brožek, V., Forejt, V., Kučera, A.: Stochastic games with branching-time winning objectives. In: Proceedings of LICS 2006, pp. 349-358. IEEE, Los Alamitos (2006)
-
-
-
-
4
-
-
38149099183
-
Strategy synthesis for Markov decision processes and branching-time logics
-
Caires, L, Vasconcelos, V.T, eds, CONCUR, Springer, Heidelberg
-
Brázdil, T., Forejt, V.: Strategy synthesis for Markov decision processes and branching-time logics. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR. LNCS, vol. 4703, pp. 428-444. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4703
, pp. 428-444
-
-
Brázdil, T.1
Forejt, V.2
-
5
-
-
49049089172
-
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives
-
Technical report FIMU-RS-2008-05, Faculty of Informatics, Masaryk University
-
Brázdil, T., Forejt, V., Kučera, A.: Controller synthesis and verification for Markov decision processes with qualitative branching time objectives. Technical report FIMU-RS-2008-05, Faculty of Informatics, Masaryk University (2008)
-
(2008)
-
-
Brázdil, T.1
Forejt, V.2
Kučera, A.3
-
6
-
-
16244402296
-
Trading memory for randomness
-
IEEE, Los Alamitos
-
Chatterjee, K., de Alfaro, L., Henzinger, T.: Trading memory for randomness. In: Proceedings of 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST 2004), pp. 206-217. IEEE, Los Alamitos (2004)
-
(2004)
Proceedings of 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST
, pp. 206-217
-
-
Chatterjee, K.1
de Alfaro, L.2
Henzinger, T.3
-
7
-
-
33745612030
-
Markov decision processes with multiple objectives
-
Durand, B, Thomas, W, eds, STACS 2006, Springer, Heidelberg
-
Chatterjee, K., Majumdar, R., Henzinger, T.: 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.3
-
8
-
-
35248832952
-
-
de Alfaro, L.: Quantitative verification and control via the mu-calculus. In: Amadio, R.M., Lugiez,D. (eds.)CONCUR2003.LNCS, 2761, pp. 102-126. Springer,Heidelberg (2003)
-
de Alfaro, L.: Quantitative verification and control via the mu-calculus. In: Amadio, R.M., Lugiez,D. (eds.)CONCUR2003.LNCS, vol. 2761, pp. 102-126. Springer,Heidelberg (2003)
-
-
-
-
9
-
-
0001449325
-
Temporal and modal logic
-
Emerson, E.A.: Temporal and modal logic. Handbook of TCS B, 995-1072 (1991)
-
(1991)
Handbook of TCS B
, pp. 995-1072
-
-
Emerson, E.A.1
-
10
-
-
37149022692
-
Multi-objective model checking of Markov decision processes
-
Grumberg, O, Huth, M, eds, TACAS 2007, Springer, Heidelberg
-
Etessami, K., Kwiatkowska, M., Vardi, M., Yannakakis, M.: Multi-objective model checking of Markov decision processes. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 50-65. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4424
, pp. 50-65
-
-
Etessami, K.1
Kwiatkowska, M.2
Vardi, M.3
Yannakakis, M.4
-
12
-
-
21044460198
-
Positional determinacy of infinite games
-
Diekert, V, Habib, M, eds, STACS 2004, Springer, Heidelberg
-
Grädel, E.: Positional determinacy of infinite games. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol. 2996, pp. 4-18. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2996
, pp. 4-18
-
-
Grädel, E.1
-
13
-
-
0003096318
-
A logic for reasoning about time and reliability
-
Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 512-535 (1994)
-
(1994)
Formal Aspects of Computing
, vol.6
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
14
-
-
0003620778
-
-
Addison-Wesley, Reading
-
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
-
(1979)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Ullman, J.D.2
-
15
-
-
33744933469
-
On the controller synthesis for finite-state Markov decision processes
-
Proceedings of FST&TCS, Springer, Heidelberg
-
Kučera, A., Stražovský, O.: On the controller synthesis for finite-state Markov decision processes. In: Proceedings of FST&TCS 2005. LNCS, vol. 3821, pp. 541-552. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3821
, pp. 541-552
-
-
Kučera, A.1
Stražovský, O.2
-
17
-
-
0000832186
-
Modal and temporal logics. Handbook of Logic in Comp
-
Stirling, C.:Modal and temporal logics. Handbook of Logic in Comp. Sci. 2, 477-563 (1992)
-
(1992)
Sci
, vol.2
, pp. 477-563
-
-
Stirling, C.1
-
18
-
-
0022181923
-
-
Vardi, M.: Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of FOCS 1985, pp. 327-338. IEEE, Los Alamitos (1985)
-
Vardi, M.: Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of FOCS 1985, pp. 327-338. IEEE, Los Alamitos (1985)
-
-
-
-
19
-
-
4544303594
-
-
Walukiewicz, I.: A landscape with games in the background. In: Proceedings of LICS 2004, pp. 356-366. IEEE, Los Alamitos (2004)
-
Walukiewicz, I.: A landscape with games in the background. In: Proceedings of LICS 2004, pp. 356-366. IEEE, Los Alamitos (2004)
-
-
-
|