Safety Verification on Dubin's 4D car model
1Alpha
Time-Invariant SBF Certificates
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| 1 | 0 | - | 0 | 63.03 | ||
| 1 | 0 | - | 0 | 65.86 | ||
| 0.8 | 0.078 | - | 12 | 742.53 | ||
| 0.15 | - | 0.0004 | 85 | 345.21 | ||
| 0.15 | - | 0.0006 | 85 | 721.28 | ||
| 0.13 | - | 0.0007 | 87 | 802.17 |