ROAD-R: the autonomous driving dataset with logical requirements

The ROAD-R dataset contains autonomous driving scenarios with logical requirements.

BibTex: