共 50 条
- [41] Interface verification for multiagent probabilistic inference ADVANCES IN BAYESIAN NETWORKS, 2004, 146 : 19 - 38
- [42] Probabilistic Verification for Obviously Strategyproof Mechanisms PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1930 - 1932
- [43] Probabilistic Programming: A True Verification Challenge AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 1 - 3
- [45] Automated Verification Techniques for Probabilistic Systems FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS, SFM 2011, 2011, 6659 : 53 - 113
- [46] A Probabilistic Algorithm for Verification of Geometric Theorems ALGORITHMIC ASPECTS IN INFORMATION AND MANAGEMENT, AAIM 2019, 2019, 11640 : 29 - 41
- [47] Probabilistic regression suites for functional verification 41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, 2004, : 49 - 54
- [49] Probabilistic verification and optimization of structural durability APPLICATIONS OF STATISICS AND PROBABILITY IN CIVIL ENGINEERING, 2007, : 221 - 222
- [50] On the numerical verification of probabilistic rewriting systems 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1223 - +