Safety Verification on Dubin's 4D car model
1AlphaTime-Invariant SBF Certificates
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Time-Invariant SBF CertificatesHorizon (H)=5, Degree (deg)=42026.04 | 1 | 0 | — | 0 | 63.03 | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=42026.04 | 1 | 0 | — | 0 | 65.86 | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=62026.04 | 0.8 | 0.078 | — | 12 | 742.53 | |
| Time-Varying SBF CertificatesHorizon (H)=5, Degree (deg)=22026.04 | 0.15 | — | 0.0004 | 85 | 345.21 | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=22026.04 | 0.15 | — | 0.0006 | 85 | 721.28 | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=42026.04 | 0.13 | — | 0.0007 | 87 | 802.17 |