메뉴 건너뛰기




Volumn 5126 LNCS, Issue PART 2, 2008, Pages 148-159

Controller synthesis and verification for Markov decision processes with qualitative branching time objectives

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; LEARNING ALGORITHMS; LINGUISTICS; TRANSLATION (LANGUAGES);

EID: 49049120820     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70583-3_13     Document Type: Conference Paper
Times cited : (29)

References (19)
  • 1
    • 84885948316 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 7
    • 33745612030 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 15
    • 33744933469 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.