Complexity of probabilistic verification

被引：0
|
作者：
机构：
来源：
| 1600年 / ACM, New York, NY, USA卷 / 42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [1] THE COMPLEXITY OF PROBABILISTIC VERIFICATION
    COURCOUBETIS, C
    YANNAKAKIS, M
    JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (04): : 857 - 907
  • [2] Complexity of Verification of Nondeterministic Probabilistic Multiagent Systems
    Valiev, M. K.
    Dekhtyar, M. I.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2011, 45 (07) : 390 - 396
  • [3] PROBABILISTIC VERIFICATION
    PNUELI, A
    ZUCK, LD
    INFORMATION AND COMPUTATION, 1993, 103 (01) : 1 - 29
  • [4] Probabilistic verification and approximation
    Lassaigne, Richard
    Peyronneta, Sylvain
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 152 (1-3) : 122 - 131
  • [5] VERIFICATION OF PROBABILISTIC PROGRAMS
    SHARIR, M
    PNUELI, A
    HART, S
    SIAM JOURNAL ON COMPUTING, 1984, 13 (02) : 292 - 314
  • [6] Perspectives in probabilistic verification
    Kaoen, Joost-Pieter
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 3 - 10
  • [7] Probabilistic Verification and Approximation
    Lassaigne, Richard
    Peyronnet, Sylvain
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 101 - 114
  • [8] The complexity of probabilistic lobbying
    Binkele-Raible, Daniel
    Erdelyi, Gabor
    Fernau, Henning
    Goldsmith, Judy
    Mattei, Nicholas
    Rothe, Joerg
    DISCRETE OPTIMIZATION, 2014, 11 : 1 - 21
  • [9] PROBABILISTIC COMMUNICATION COMPLEXITY
    PATURI, R
    SIMON, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 33 (01) : 106 - 123
  • [10] Probabilistic representation of complexity
    Al-Najjar, NI
    Casadesus-Masanell, R
    Ozdenoren, E
    JOURNAL OF ECONOMIC THEORY, 2003, 111 (01) : 49 - 87
12345