메뉴 건너뛰기




Volumn 155, Issue , 2004, Pages 493-506

Controller synthesis for probabilistic systems (extended abstract)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SPECIFICATIONS;

EID: 84885948316     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8141-3_38     Document Type: Conference Paper
Times cited : (90)

References (26)
  • 1
    • 0032131465 scopus 로고    scopus 로고
    • Model checking for a probabilistic branching time logic with fairness
    • Baier, C. and Kwiatkowska, M. (1998). Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3): 125-155.
    • (1998) Distributed Computing , vol.11 , Issue.3 , pp. 125-155
    • Baier, C.1    Kwiatkowska, M.2
  • 2
    • 21844505024 scopus 로고
    • Model checking of probabilistic and non-deterministic systems
    • In LNCS 1026
    • Bianco, A. and De Alfaro, L. (1995). Model checking of probabilistic and non-deterministic systems. In Proc. FST & TCS, LNCS 1026, pages 499-513.
    • (1995) Proc. FST & TCS , pp. 499-513
    • Bianco, A.1    De Alfaro, L.2
  • 6
    • 0026820657 scopus 로고
    • The complexity of stochastic games
    • Condon, A. (1992). The complexity of stochastic games. Inf. and Comp., 96:203-224.
    • (1992) Inf. and Comp. , vol.96 , pp. 203-224
    • Condon, A.1
  • 7
    • 0012348982 scopus 로고
    • On algorithms for simple stochastic games
    • Condon, A. (1993). On algorithms for simple stochastic games. DIMACS, 13:51-71.
    • (1993) DIMACS , vol.13 , pp. 51-71
    • Condon, A.1
  • 10
    • 0033716150 scopus 로고    scopus 로고
    • Concurrent omega-regular games
    • In IEEE Computer Society Press
    • de Alfaro, L. and Henzinger, T. (2000). Concurrent omega-regular games. In Proc. LICS, pages 141-154. IEEE Computer Society Press.
    • (2000) Proc. LICS , pp. 141-154
    • de Alfaro, L.1    Henzinger, T.2
  • 11
    • 0032305853 scopus 로고    scopus 로고
    • Concurrent reachability games
    • In IEEE Computer Society Press
    • de Alfaro, L., Henzinger, T., and Kupferman, O. (1998). Concurrent reachability games. In Proc. FOCS, pages 564-575. IEEE Computer Society Press.
    • (1998) Proc. FOCS , pp. 564-575
    • de Alfaro, L.1    Henzinger, T.2    Kupferman, O.3
  • 12
    • 0034826232 scopus 로고    scopus 로고
    • Quantitative solution of omega-regular games
    • In ACM Press
    • de Alfaro, L. and Majumdar, R. (2001). Quantitative solution of omega-regular games. In Proc. STOC'01, pages 675-683. ACM Press.
    • (2001) Proc. STOC'01 , pp. 675-683
    • de Alfaro, L.1    Majumdar, R.2
  • 14
    • 0026368952 scopus 로고
    • Tree automata, mu-calculus and determinacy
    • In IEEE Computer Society Press
    • Emerson, E. and Jutla, C. (1991). Tree automata, mu-calculus and determinacy. In Proc. FOCS, pages 368-377. IEEE Computer Society Press.
    • (1991) Proc. FOCS , pp. 368-377
    • Emerson, E.1    Jutla, C.2
  • 15
    • 84957813927 scopus 로고
    • On model-checking for fragments of mucalculus
    • In Courcoubetis, C., editor, LNCS 697
    • Emerson, E. A., Jutla, C. S., and Sistla, A. P. (1993). On model-checking for fragments of mucalculus. In Courcoubetis, C., editor, Proc. CAV, LNCS 697, pages 385-396.
    • (1993) Proc. CAV , pp. 385-396
    • Emerson, E.A.1    Jutla, C.S.2    Sistla, A.P.3
  • 17
    • 0003096318 scopus 로고
    • A logic for reasoning about time and reliability
    • Hansson, H. and Jonsson, B. (1994). A logic for reasoning about time and reliability. Formal Aspects of Computing, 6:512-535.
    • (1994) Formal Aspects of Computing , vol.6 , pp. 512-535
    • Hansson, H.1    Jonsson, B.2
  • 18
    • 84944078394 scopus 로고    scopus 로고
    • Small progress for solving parity games
    • In
    • Jurdzinski, M. (2000). Small progress for solving parity games. In Proc. STACS, volume 1770 of LNCS, pages 290-301.
    • (2000) Proc. STACS, volume 1770 of LNCS , pp. 290-301
    • Jurdzinski, M.1
  • 19
    • 34848862697 scopus 로고    scopus 로고
    • Trading probability for fairness
    • In LNCS 2471
    • Jurdzinski, M., Kupferman, O., and Henzinger, T. (2003). Trading probability for fairness. In Proc. CSL, LNCS 2471, pages 292-305.
    • (2003) Proc. CSL , pp. 292-305
    • Jurdzinski, M.1    Kupferman, O.2    Henzinger, T.3
  • 20
    • 84945290421 scopus 로고    scopus 로고
    • Probabilistic polynomial-time process calculus and security protocol analysis
    • In
    • Mitchell, J. C. (2001). Probabilistic polynomial-time process calculus and security protocol analysis. In Proc. ESOP LNCS 2028, pages 23-29.
    • (2001) Proc. ESOP LNCS 2028 , pp. 23-29
    • Mitchell, J.C.1
  • 21
    • 0022562228 scopus 로고
    • Verification of multiprocess probabilistic protocols
    • Pnueli, A. and Zuck, L. (1986). Verification of multiprocess probabilistic protocols. Distributed Computing, 1:53-72.
    • (1986) Distributed Computing , vol.1 , pp. 53-72
    • Pnueli, A.1    Zuck, L.2
  • 23
    • 0001282303 scopus 로고
    • Automata on infinite objects
    • In van Leeuwen, J., editor, volume B, chapter 4, Elsevier Science Publishers
    • Thomas, W. (1990). Automata on infinite objects. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 133-191. Elsevier Science Publishers
    • (1990) Handbook of Theoretical Computer Science , pp. 133-191
    • Thomas, W.1
  • 24
    • 84937560933 scopus 로고    scopus 로고
    • Infinite games and verification
    • In
    • Thomas, W. (2003). Infinite games and verification In Poc. CAV LNCS 2725, pages 58-64.
    • (2003) Poc. CAV LNCS 2725 , pp. 58-64
    • Thomas, W.1
  • 25
    • 0022181923 scopus 로고
    • Automatic verification of probabilistic concurrent finite-state programs
    • In Portland, Oregon. IEEE
    • Vardi, M. Y. (1985). Automatic verification of probabilistic concurrent finite-state programs. In Proc. FOCS, pages 327-338, Portland, Oregon. IEEE.
    • (1985) Proc. FOCS , pp. 327-338
    • Vardi, M.Y.1
  • 26
    • 84944395659 scopus 로고    scopus 로고
    • A discrete strategy improvement algorithm for solving parity games
    • In LNCS 1855
    • Vöge, J. and Jurdzinski, M. (2000). A discrete strategy improvement algorithm for solving parity games. In Proc. CAV, LNCS 1855, pages 202-215.
    • (2000) Proc. CAV , pp. 202-215
    • Vöge, J.1    Jurdzinski, M.2


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