메뉴 건너뛰기




Volumn 5813 LNCS, Issue , 2009, Pages 212-227

Stochastic games for verification of probabilistic timed automata

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATA THEORY; GAME THEORY; PROBABILITY; ROBOTS; STOCHASTIC SYSTEMS; TIME SHARING SYSTEMS;

EID: 70350459891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04368-0_17     Document Type: Conference Paper
Times cited : (57)

References (24)
  • 1
    • 0037427688 scopus 로고    scopus 로고
    • Probabilistic timed automata
    • Beauquier, D.: Probabilistic timed automata. Theoretical Computer Science 292(1), 65-84 (2003)
    • (2003) Theoretical Computer Science , vol.292 , Issue.1 , pp. 65-84
    • Beauquier, D.1
  • 2
    • 35248868359 scopus 로고    scopus 로고
    • Untameable timed automata!
    • Alt, H, Habib, M, eds, STACS 2003, Springer, Heidelberg
    • Bouyer, P.: Untameable timed automata! In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 620-631. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2607 , pp. 620-631
    • Bouyer, P.1
  • 3
    • 51749111357 scopus 로고    scopus 로고
    • Chen, T., Han, T., Katoen, J.-P.: Time-abstracting bisimulation for probabilistic timed automata. In: Proc. TASE 2008, pp. 177-184. IEEE CS Press, Los Alamitos (2008)
    • Chen, T., Han, T., Katoen, J.-P.: Time-abstracting bisimulation for probabilistic timed automata. In: Proc. TASE 2008, pp. 177-184. IEEE CS Press, Los Alamitos (2008)
  • 4
    • 0026820657 scopus 로고
    • The complexity of stochastic games
    • Condon, A.: The complexity of stochastic games. Inf. and Comp. 96(2), 203-224 (1992)
    • (1992) Inf. and Comp , vol.96 , Issue.2 , pp. 203-224
    • Condon, A.1
  • 6
    • 40149092144 scopus 로고    scopus 로고
    • Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, 1066, pp. 208-219. Springer, Heidelberg (1996)
    • Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 208-219. Springer, Heidelberg (1996)
  • 7
    • 38149044931 scopus 로고    scopus 로고
    • Automatic abstraction refinement for timed automata
    • Raskin, J.-F, Thiagarajan, P.S, eds, FORMATS 2007, Springer, Heidelberg
    • Dierks, H., Kupferschmid, S., Larsen, K.G.: Automatic abstraction refinement for timed automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 114-129. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4763 , pp. 114-129
    • Dierks, H.1    Kupferschmid, S.2    Larsen, K.G.3
  • 8
    • 0000217258 scopus 로고
    • Symbolic model checking for real-time systems
    • Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. and Comp. 111(2), 193-244 (1994)
    • (1994) Inf. and Comp , vol.111 , Issue.2 , pp. 193-244
    • Henzinger, T.1    Nicollin, X.2    Sifakis, J.3    Yovine, S.4
  • 10
    • 58449132541 scopus 로고    scopus 로고
    • A game-based abstraction-refinement framework for Markov decision processes
    • Technical Report RR-08-06, Oxford University Computing Laboratory February
    • Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D.: A game-based abstraction-refinement framework for Markov decision processes. Technical Report RR-08-06, Oxford University Computing Laboratory (February 2008)
    • (2008)
    • Kattenbelt, M.1    Kwiatkowska, M.2    Norman, G.3    Parker, D.4
  • 11
    • 58449089558 scopus 로고    scopus 로고
    • Abstraction refinement for probabilistic software
    • Jones, N.D, Müller-Olm, M, eds, VMCAI 2009, Springer, Heidelberg
    • Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D.: Abstraction refinement for probabilistic software. In: Jones, N.D., Müller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 182-197. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5403 , pp. 182-197
    • Kattenbelt, M.1    Kwiatkowska, M.2    Norman, G.3    Parker, D.4
  • 12
    • 34250750894 scopus 로고    scopus 로고
    • SAT-based abstraction refinement for real-time systems
    • Kemper, S., Platzer, A.: SAT-based abstraction refinement for real-time systems. In: Proc. FACS 2006. ENTCS, vol. 182, pp. 107-122 (2007)
    • (2007) Proc. FACS 2006. ENTCS , vol.182 , pp. 107-122
    • Kemper, S.1    Platzer, A.2
  • 13
    • 37149003984 scopus 로고    scopus 로고
    • Kwiatkowska, M., Norman, G., Parker, D.: Game-based abstraction for Markov decision processes. In: Proc. QEST 2006, pp. 157-166. IEEE CS Press, Los Alamitos (2006)
    • Kwiatkowska, M., Norman, G., Parker, D.: Game-based abstraction for Markov decision processes. In: Proc. QEST 2006, pp. 157-166. IEEE CS Press, Los Alamitos (2006)
  • 14
    • 70350509684 scopus 로고    scopus 로고
    • Stochastic games for verification of probabilistic timed automata
    • Technical Report RR-09-05, Oxford University Computing Laboratory
    • Kwiatkowska, M., Norman, G., Parker, D.: Stochastic games for verification of probabilistic timed automata. Technical Report RR-09-05, Oxford University Computing Laboratory (2009)
    • (2009)
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 16
    • 0037036274 scopus 로고    scopus 로고
    • Automatic verification of real-time systems with discrete probability distributions
    • Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theoretical Computer Science 282, 101-150 (2002)
    • (2002) Theoretical Computer Science , vol.282 , pp. 101-150
    • Kwiatkowska, M.1    Norman, G.2    Segala, R.3    Sproston, J.4
  • 17
    • 84862908408 scopus 로고    scopus 로고
    • Symbolic model checking for probabilistic timed automata
    • Kwiatkowska, M., Norman, G., Sproston, J., Wang, F.: Symbolic model checking for probabilistic timed automata. Inf. and Comp. 205(7), 1027-1077 (2007)
    • (2007) Inf. and Comp , vol.205 , Issue.7 , pp. 1027-1077
    • Kwiatkowska, M.1    Norman, G.2    Sproston, J.3    Wang, F.4
  • 21
    • 33745440463 scopus 로고    scopus 로고
    • Lazy approximation for dense real-time systems
    • Lakhnech, Y, Yovine, S, eds, FORMATS 2004 and FTRTFT 2004, Springer, Heidelberg
    • Sorea, M.: Lazy approximation for dense real-time systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 363- 378. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3253 , pp. 363-378
    • Sorea, M.1
  • 23
    • 34547296058 scopus 로고    scopus 로고
    • Verifying progress in timed systems
    • Katoen, J.-P, ed, AMASTARTS 1999, ARTS 1999, and AMAST-WS 1999, Springer, Heidelberg
    • Tripakis, S.: Verifying progress in timed systems. In: Katoen, J.-P. (ed.) AMASTARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol. 1601, pp. 299-314. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1601 , pp. 299-314
    • Tripakis, S.1


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