ARCH-COMP 2024

ARCH-COMP AINNCS Category 2024 Model Files

Benchmarks

We plan to reuse benchmarks from 2023 but feel free to propose new benchmarks or modifications to existing ones: verivital#1

Benchmark	Instance	Specification	Network	Visualization	Comment
ACC	safe-distance	default	relu	distance over time	-
Airplane	continuous	t\in[0,20]	relu	[2,7]	modified spec
Airplane	discrete	t\in{0,1,...,20}	relu	[2,7]	modified spec
Attitude Control	avoid	default	sigmoid	[1,2]	-
Balancing	reach	default	tanh	[1,3]	new
Docking	constraint	default	tanh	[1,2] and [3,4]	-
Double Pendulum	less-robust	Specification 1	less robust	[3,4]	modified spec
Double Pendulum	more-robust	Specification 2	more robust	[3,4]	modified spec
NAV	standard	default	nn-nav-point	[1,2]	new
NAV	robust	default	nn-nav-set	[1,2]	new
QUAD	reach	default	sigmoid	dim 3 over time	-
Single Pendulum	reach	default	relu	1 over time	modified spec
TORA	remain	Specification 1	relu	[1,2] and [3,4]	-
TORA (Heterogeneous)	reach-sigmoid	Specification 2	sigmoid	[1,2]	-
TORA (Heterogeneous)	reach-tanh	Specification 2	tanh	[1,2]	-
Unicycle	reach	default	relu	[1,2]	-
VCAS	avoid	default	relu	`TODO`	`TODO`

Prior year reports: