ARCH-COMP 2025

ARCH-COMP AINNCS Category 2025 Model Files

Benchmarks

We are resuing the benchmarks from 2024:

Benchmark	Instance	Specification	Network	Visualization	Comment
ACC	safe-distance	default	relu	distance over time	-
Airplane	continuous	t∈[0,20]	relu	[2,7]	-
Airplane	discrete	t∈{0,1,...,20}	relu	[2,7]	-
Attitude Control	avoid	default	sigmoid	[1,2]	-
Balancing	reach	default	tanh	[1,3]	-
Docking	constraint	default	tanh	1 over time	-
Double Pendulum	less-robust	Specification 1	less robust	[3,4]	-
Double Pendulum	more-robust	Specification 2	more robust	[3,4]	-
NAV	standard	default	nn-nav-point	[1,2]	-
NAV	robust	default	nn-nav-set	[1,2]	-
QUAD	reach	default	sigmoid	3 over time	-
Single Pendulum	reach	default	relu	1 over time	-
TORA	remain	Specification 1	relu	[1,2] and [3,4]	-
TORA	reach-sigmoid	Specification 2	sigmoid	[1,2]	-
TORA	reach-tanh	Specification 2	tanh	[1,2]	-
Unicycle	reach	default	relu	[1,2]	-
VCAS	middle-* / worst-*	default	relu	vertical distance over time	-

Prior year reports:

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
benchmarks		benchmarks
README.md		README.md