메뉴 건너뛰기




Volumn 7214 LNCS, Issue , 2012, Pages 315-330

Automatic verification of competitive stochastic systems

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC VERIFICATION; AUTONOMOUS SYSTEMS; COLLECTIVE DECISION MAKING; MODEL CHECKING ALGORITHM; MULTIPLAYER GAMES; PROBABILISTIC MODELS; PROBABILISTIC SYSTEMS; MODELLING AND ANALYSIS; PROBABILISTIC MODELING;

EID: 84859365682     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28756-5_22     Document Type: Conference Paper
Times cited : (21)

References (29)
  • 1
    • 70350366911 scopus 로고    scopus 로고
    • Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
    • Backes, M., Ning, P. (eds.) ESORICS 2009. Springer, Heidelberg
    • Aizatulin, M., Schnoor, H., Wilke, T.: Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 571-586. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5789 , pp. 571-586
    • Aizatulin, M.1    Schnoor, H.2    Wilke, T.3
  • 2
    • 84888230117 scopus 로고    scopus 로고
    • Computing Minimum and Maximum Reachability Times in Probabilistic Systems
    • Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. Springer, Heidelberg
    • de Alfaro, L.: Computing Minimum and Maximum Reachability Times in Probabilistic Systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, p. 66. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1664 , pp. 66
    • De Alfaro, L.1
  • 3
  • 4
    • 33646178489 scopus 로고    scopus 로고
    • MOCHA: Modularity in Model Checking
    • Vardi, M.Y. (ed.) CAV 1998. Springer, Heidelberg
    • Alur, R., Henzinger, T.A., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA: Modularity in Model Checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 521-525. Springer, Heidelberg (1998)
    • (1998) LNCS , vol.1427 , pp. 521-525
    • Alur, R.1    Henzinger, T.A.2    Mang, F.3    Qadeer, S.4    Rajamani, S.5    Tasiran, S.6
  • 8
    • 70450162581 scopus 로고    scopus 로고
    • Uncertain Agent Verification through Probabilistic Model-Checking
    • Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. Springer, Heidelberg
    • Ballarini, P., Fisher, M., Wooldridge, M.: Uncertain Agent Verification through Probabilistic Model-Checking. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. LNCS, vol. 4324, pp. 162-174. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.4324 , pp. 162-174
    • Ballarini, P.1    Fisher, M.2    Wooldridge, M.3
  • 9
    • 79960350932 scopus 로고    scopus 로고
    • Quantitative Synthesis for Concurrent Programs
    • Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. Springer, Heidelberg
    • Černý, P., Chatterjee, K., Henzinger, T.A., Radhakrishna, A., Singh, R.: Quantitative Synthesis for Concurrent Programs. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 243-259. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6806 , pp. 243-259
    • Černý, P.1    Chatterjee, K.2    Henzinger, T.A.3    Radhakrishna, A.4    Singh, R.5
  • 10
    • 77954966349 scopus 로고    scopus 로고
    • Gist: A Solver for Probabilistic Games
    • Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
    • Chatterjee, K., Henzinger, T.A., Jobstmann, B., Radhakrishna, A.: Gist: A Solver for Probabilistic Games. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 665-669. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6174 , pp. 665-669
    • Chatterjee, K.1    Henzinger, T.A.2    Jobstmann, B.3    Radhakrishna, A.4
  • 13
    • 80053113161 scopus 로고    scopus 로고
    • Verifying Team Formation Protocols with Probabilistic Model Checking
    • Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. Springer, Heidelberg
    • Chen, T., Kwiatkowska, M., Parker, D., Simaitis, A.: Verifying Team Formation Protocols with Probabilistic Model Checking. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 190-207. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6814 , pp. 190-207
    • Chen, T.1    Kwiatkowska, M.2    Parker, D.3    Simaitis, A.4
  • 14
    • 44049103684 scopus 로고    scopus 로고
    • Probabilistic alternating-time temporal logic and model checking algorithm
    • IEEE
    • Chen, T., Lu, J.: Probabilistic alternating-time temporal logic and model checking algorithm. In: Proc. FSKD 2007, pp. 35-39. IEEE (2007)
    • (2007) Proc. FSKD 2007 , pp. 35-39
    • Chen, T.1    Lu, J.2
  • 17
    • 79959282379 scopus 로고    scopus 로고
    • Automated Verification Techniques for Probabilistic Systems
    • Bernardo, M., Issarny, V. (eds.) SFM 2011. Springer, Heidelberg
    • Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53-113. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6659 , pp. 53-113
    • Forejt, V.1    Kwiatkowska, M.2    Norman, G.3    Parker, D.4
  • 18
    • 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(5), 512-535 (1994)
    • (1994) Formal Aspects of Computing , vol.6 , Issue.5 , pp. 512-535
    • Hansson, H.1    Jonsson, B.2
  • 19
    • 80052104934 scopus 로고    scopus 로고
    • Influence of variable supply and load flexibility on demand-side management
    • Hildmann, H., Saffre, F.: Influence of variable supply and load flexibility on demand-side management. In: Proc. EEM 2011, pp. 63-68 (2011)
    • (2011) Proc. EEM 2011 , pp. 63-68
    • Hildmann, H.1    Saffre, F.2
  • 20
    • 0042261185 scopus 로고    scopus 로고
    • Model checking cooperation, knowledge, and time - A case study
    • van der Hoek, W., Wooldridge, M.: Model checking cooperation, knowledge, and time - A case study. Research In Economics 57(3), 235-265 (2003)
    • (2003) Research in Economics , vol.57 , Issue.3 , pp. 235-265
    • Van Der Hoek, W.1    Wooldridge, M.2
  • 21
    • 0037937457 scopus 로고    scopus 로고
    • A game-based verification of non-repudiation and fair exchange protocols
    • Kremer, S., Raskin, J.-F.: A game-based verification of non-repudiation and fair exchange protocols. Journal of Computer Security 11(3), 399-430 (2003)
    • (2003) Journal of Computer Security , vol.11 , Issue.3 , pp. 399-430
    • Kremer, S.1    Raskin, J.-F.2
  • 22
    • 79960351824 scopus 로고    scopus 로고
    • PRISM 4.0: Verification of Probabilistic Real-Time Systems
    • Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. 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) LNCS , vol.6806 , pp. 585-591
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 23
    • 70350243070 scopus 로고    scopus 로고
    • MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    • Bouajjani, A., Maler, O. (eds.) CAV 2009. Springer, Heidelberg
    • Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682-688. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5643 , pp. 682-688
    • Lomuscio, A.1    Qu, H.2    Raimondi, F.3
  • 24
    • 0032281306 scopus 로고    scopus 로고
    • The determinacy of Blackwell games
    • Martin, D.: The determinacy of Blackwell games. J. Symb. Log. 63(4) (1998)
    • (1998) J. Symb. Log. , vol.63 , Issue.4
    • Martin, D.1
  • 28
    • 84880704683 scopus 로고    scopus 로고
    • On Probabilistic Alternating Simulations
    • Calude, C.S., Sassone, V. (eds.) Springer, Heidelberg
    • Zhang, C., Pang, J.: On Probabilistic Alternating Simulations. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 71-85. Springer, Heidelberg (2010)
    • (2010) TCS 2010. IFIP AICT , vol.323 , pp. 71-85
    • Zhang, C.1    Pang, J.2
  • 29
    • 84859300755 scopus 로고    scopus 로고
    • http://www.prismmodelchecker.org/files/tacas12smg/


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