AD-Assurance-Lab/steering-verification-captures

Steering verification captures Rendered camera frames along two driving routes, in four weather conditions each. These are the input to the formal certificates in formal-verification--steering--code, and they are published because they are what makes those certificates checkable without a simulator. The paper is Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove (arXiv:2609.10951). route conditions poses frames… See the full description on the dataset page: https://huggingface.co/datasets/AD-Assurance-Lab/steering-verification-captures.