Online Statistical Model Checking on PRISM
50ScoreCAV19
Evaluation results
| Method | Links | |
|---|---|---|
| CAV192026.06 | 50 | |
| Exp-BernFramework=SOTA2026.06 | 23 | |
| Exp-HoeffFramework=SOTA2026.06 | 22 | |
| Exp-CPFramework=SOTA2026.06 | 19 | |
| Hoeff-BetFramework=Confidence Sequence2026.06 | 11 | |
| Sq-BernFramework=SOTA2026.06 | 8.6 | |
| Sq-HoeffFramework=SOTA2026.06 | 6.8 | |
| Sq-CPFramework=SOTA2026.06 | 5.9 | |
| Bern-SqFramework=Confidence Sequence2026.06 | 5 | |
| Bern-ExpFramework=Confidence Sequence2026.06 | 4.1 | |
| Hoeff-SqFramework=Confidence Sequence2026.06 | 3.3 | |
| Hoeff-ExpFramework=Confidence Sequence2026.06 | 2.7 | |
| Hoeff-StitchFramework=Confidence Sequence2026.06 | 2.2 | |
| Bern-StitchFramework=Confidence Sequence2026.06 | 2.1 | |
| CP-SqFramework=Confidence Sequence2026.06 | 2 | |
| Bern-BetFramework=Confidence Sequence2026.06 | 1.8 | |
| CP-ExpFramework=Confidence Sequence2026.06 | 1.6 | |
| BetaTestFramework=Confidence Sequence2026.06 | 1.5 | |
| MLETestFramework=Confidence Sequence2026.06 | 1.5 | |
| ValueTestFramework=Confidence Sequence2026.06 | 1.3 |