| Dubins Car subregions certifiable | LightCROWN | Success Rate90.5 | | 24 | 23d ago |
| Oscillator 2D system | Time-Varying SBF Certificates | Ps99 | | 23 | 1mo ago |
| Unstable 1D system | Time-Varying SBF Certificates | Ps (Probability)98 | | 18 | 1mo ago |
| Planar Quadrotor Adversarial Training | LightCROWN | Verification Rate92.8 | | 12 | 23d ago |
| Inverted Pendulum Adversarial Training | LightCROWN | Success Rate99.3 | | 12 | 23d ago |
| Planar Quadrotor (subregions certifiable) | LightCROWN | Verification Rate71.2 | | 12 | 23d ago |
| Inverted Pendulum (subregions certifiable) | CROWN | Success Rate (%)0.911 | | 12 | 23d ago |
| Unstable 2D system | Time-Varying SBF Certificates | Ps97 | | 12 | 1mo ago |
| Volterra 2D system | Interpolation | Ps0.99 | | 9 | 1mo ago |
| Quadrotor 4D + 2D obstacle | Time-Varying | Alpha5.1 | | 6 | 1mo ago |
| Dubin's 4D car model | Time-Invariant SBF Certificates | Alpha1 | | 6 | 1mo ago |
| Safety Verification scenarios (test) | Multi-Agent Emotion-to-Response System | Pass Rate100 | | 4 | 3mo ago |
| Exponential | Neural Abstractions | Time308 | | 2 | 3mo ago |
| Steam Governor | | Verification Time62 | | 2 | 3mo ago |
| Jet Engine | Neural Abstractions | Metric t215 | | 2 | 3mo ago |
| Non-Lipschitz 2 | Neural Abstractions | Generic Variable t59 | | 1 | 3mo ago |
| Non-Lipschitz 1 | Neural Abstractions | Parameter t19 | | 1 | 3mo ago |
| Water Tank | Neural Abstractions | Time Placeholder49 | | 1 | 3mo ago |
