메뉴 건너뛰기




Volumn 7687 LNCS, Issue , 2013, Pages 314-319

Incremental runtime verification of probabilistic systems

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; MARKOV PROCESSES; MODEL CHECKING; NUMERICAL METHODS; QUALITY OF SERVICE;

EID: 84872843584     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35632-2_30     Document Type: Conference Paper
Times cited : (31)

References (8)
  • 3
    • 56649116055 scopus 로고    scopus 로고
    • Reduction techniques for model checking Markov decision processes
    • IEEE
    • Ciesinski, F., Baier, C., Gr̈oßer, M., Klein, J.: Reduction techniques for model checking Markov decision processes. In: Proc. QEST 2008, pp. 45-54. IEEE (2008)
    • (2008) Proc. QEST , vol.2008 , pp. 45-54
    • Ciesinski, F.1    Baier, C.2    Gr̈oßer, M.3    Klein, J.4
  • 4
    • 79959900961 scopus 로고    scopus 로고
    • Run-time efficient probabilistic model checking
    • ACM, New York
    • Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proc. ICSE 2011, pp. 341-350. ACM, New York (2011)
    • (2011) Proc. ICSE , vol.2011 , pp. 341-350
    • Filieri, A.1    Ghezzi, C.2    Tamburrelli, G.3
  • 6
    • 79960351824 scopus 로고    scopus 로고
    • Prism 4 0: Verification of probabilistic real-time systems
    • Gopalakrishnan G., Qadeer, S. (eds.). Springer, Heidelberg
    • Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585-591. Springer, Heidelberg (2011)
    • (2011) CAV 2011. LNCS , vol.6806 , pp. 585-591
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 7
    • 80051922471 scopus 로고    scopus 로고
    • Incremental quantitative verification for Markov decision processes
    • IEEE
    • Kwiatkowska, M., Parker, D., Qu, H.: Incremental quantitative verification for Markov decision processes. In: Proc. DSN-PDS 2011, pp. 359-370. IEEE (2011)
    • (2011) Proc. DSN-PDS , vol.2011 , pp. 359-370
    • Kwiatkowska, M.1    Parker, D.2    Qu, H.3
  • 8
    • 84872359077 scopus 로고    scopus 로고
    • Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents
    • Wongpiromsarn, T., Ulusoy, A., Belta, C., Frazzoli, E., Rus, D.: Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. In: Proc. IROS 2012 (to appear, 2012)
    • (2012) Proc. IROS 2012
    • Wongpiromsarn, T.1    Ulusoy, A.2    Belta, C.3    Frazzoli, E.4    Rus, D.5


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