Safety verification

Benchmarks

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

Showing 18 of 18 rows