Complexity of probabilistic verification

被引：0
|
作者：
机构：
来源：
| 1600年 / ACM, New York, NY, USA卷 / 42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [41] On the Complexity of the Verification of the Costas Property
    Barker, Lionel
    Drakakis, Konstantinos
    Rickard, Scott
    PROCEEDINGS OF THE IEEE, 2009, 97 (03) : 586 - 593
  • [42] On verification of Probabilistic timed automata against Probabilistic duration properties
    Van Hung, Dang
    Zhang, Miaomiao
    13TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2007, : 165 - +
  • [43] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    EUROPEAN JOURNAL OF CONTROL, 2012, 18 (06) : 572 - 587
  • [44] Relatively Complete Verification of Probabilistic Programs
    Batz, Kevin
    Kaminski, Benjamin Lucien
    Katoen, Joost-Pieter
    Matheja, Christoph
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
  • [45] Improved probabilistic verification by hash compaction
    Stern, U
    Dill, DL
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 206 - 224
  • [46] Gait verification using probabilistic methods
    Bazin, AI
    Nixon, MS
    WACV 2005: SEVENTH IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION, PROCEEDINGS, 2005, : 60 - 65
  • [47] A Deductive Verification Infrastructure for Probabilistic Programs
    Schroeer, Philipp
    Batz, Kevin
    Kaminski, Benjamin Lucien
    Katoen, Joost-Pieter
    Matheja, Christoph
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [48] Probabilistic Relational Verification for Cryptographic Implementations
    Barthe, Gilles
    Fournet, Cedric
    Gregoire, Benjamin
    Strub, Pierre-Yves
    Swamy, Nikhil
    Zanella-Beguelin, Santiago
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 193 - 205
  • [49] Verification of probabilistic systems with faulty communication
    Abdulla, PA
    Bertrand, N
    Rabinovich, A
    Schnoebelen, P
    INFORMATION AND COMPUTATION, 2005, 202 (02) : 141 - 165
  • [50] Safe Networked Robotics With Probabilistic Verification
    Narasimhan, Sai Shankar
    Bhat, Sharachchandra
    Chinchali, Sandeep P.
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2024, 9 (03) : 2917 - 2924
12345