@misc{indiciae0adc35c97044,
  title = {STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)},
  author = {Isabelle Hurley and Rohan Paleja and Ashley Suh and Jaime D. Peña and Ho Chit Siu},
  year = {2024},
  url = {https://arxiv.org/abs/2407.02632},
  note = {Source identifier: 2407.02632}
}