Infinite probabilistic and nonprobabilistic testing

被引：0

作者：

Kumar, KN ^{[1
]}

Cleaveland, R ^{[1
]}

Smolka, SA ^{[1
]}

机构：

[1] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA

来源：

FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE | 1998年 / 1530卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We introduce three new notions of infinite testing for probabilistic processes, namely, simple, Buchi and fair infinite testing. We carefully examine their distinguishing power and show that all three have the same power as finite tests. We also consider Buchi tests in the non-probabilistic setting and show that they have the same distinguishing power as finite tests. Finally, we show that finite probabilistic tests are stronger than nondeterministic fair tests.

引用

页码：209 / 220

页数：12

共 50 条

[1] PROBABILISTIC AND NONPROBABILISTIC HOUGH TRANSFORMS - OVERVIEW AND COMPARISONS
KALVIAINEN, H
HIRVONEN, P
XU, L
OJA, E
[J]. IMAGE AND VISION COMPUTING, 1995, 13 (04) : 239 - 252
[2] Probabilistic and Nonprobabilistic Sensitivity Analyses of Uncertain Parameters
Fang, Sheng-En
Zhang, Qiu-Hu
Zhang, Bao
Zhang, Xiao-Hua
[J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
[3] A Combined Probabilistic/Nonprobabilistic Decision Analysis for Contaminant Remediation
O'Malley, D.
Vesselinov, V. V.
[J]. SIAM-ASA JOURNAL ON UNCERTAINTY QUANTIFICATION, 2014, 2 (01): : 607 - 621
[4] A Risk Assessment Model for Dam Combining the Probabilistic and the Nonprobabilistic Methods
Zhu, Yantao
Niu, Xinqiang
Wang, Jimin
Gu, Chongshi
Sun, Qiang
Li, Bo
Huang, Lixian
[J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 2020
[5] UNCERTAINTIES IN SYSTEM-ANALYSIS - PROBABILISTIC VERSUS NONPROBABILISTIC THEORIES
WU, JS
APOSTOLAKIS, GE
OKRENT, D
[J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1990, 30 (1-3) : 163 - 181
[6] INFINITE PROBABILISTIC DATABASES
Grohe, Martin
Lindner, Peter
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 18 (01) : 34:1 - 34:43
[7] Probabilistic infinite slope analysis
Griffiths, D. V.
Huang, Jinsong
Fenton, Gordon A.
[J]. COMPUTERS AND GEOTECHNICS, 2011, 38 (04) : 577 - 584
[8] Vibro-Acoustic Response of Engineering Structures With Mixed Type of Probabilistic and Nonprobabilistic Uncertainty Models
Cicirello, Alice
Langley, Robin S.
[J]. ASCE-ASME JOURNAL OF RISK AND UNCERTAINTY IN ENGINEERING SYSTEMS PART B-MECHANICAL ENGINEERING, 2015, 1 (04):
[9] INFINITE PROBABILISTIC SECRET SHARING
Csirmaz, Laszlo
[J]. KYBERNETIKA, 2023, 59 (02) : 179 - 197
[10] Probabilistic nilpotence in infinite groups
Armando Martino
Matthew C. H. Tointon
Motiejus Valiunas
Enric Ventura
[J]. Israel Journal of Mathematics, 2021, 244 : 539 - 588

← 1 2 3 4 5 →