@misc{indiciae3e30abe265c0,
  title = {RoboRacer Arena: Specification-Driven Track Construction for Autonomous Racing},
  author = {Mihaela-Larisa Clement and Agnes Poks and Ezio Bartocci},
  year = {2026},
  url = {https://arxiv.org/abs/2608.23040},
  note = {Source identifier: 2608.23040}
}