@misc{indiciae50c43fb7732e,
  title = {Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design},
  author = {Craig Innes and Subramanian Ramamoorthy},
  year = {2022},
  url = {https://arxiv.org/abs/2109.08071},
  note = {Source identifier: 2109.08071}
}