Safety Verification on Unstable 1D system
98Ps (Probability)
Time-Varying SBF Certificates
Updated 1mo ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| 98 | 0.016 | - | 0.0001 | 0.11 | - | ||
| 97 | 0.027 | - | 0.0012 | 0.14 | - | ||
| 96 | 0.043 | - | 0.0007 | 0.34 | - | ||
2026.04 | 94 | 2.1 | - | - | 0.13 | 8.5 | |
2026.04 | 92 | - | - | - | 0.07 | - | |
| 90 | 0.076 | 0.024 | - | 142.54 | - | ||
| 90 | 0.0009 | - | 0.05 | 7.18 | - | ||
2026.04 | 89 | 3.6 | - | - | 0.39 | 2.4 | |
2026.04 | 88 | - | - | - | 0.19 | - | |
| 87 | 0.082 | 0.048 | - | 144.25 | - | ||
| 85 | 0.073 | 0.081 | - | 147.27 | - | ||
2026.04 | 84 | - | - | - | 76.19 | - | |
2026.04 | 84 | 5.1 | 0.11 | - | 192.16 | - | |
| 82 | 0.0054 | 0.17 | - | 149.34 | - | ||
2026.04 | 74 | - | - | - | 0.15 | - | |
2026.04 | 62 | - | - | - | 0.21 | - | |
2026.04 | 54 | 6.7 | 0.39 | - | 198.57 | - | |
2026.04 | 35 | - | - | - | 0.62 | - |