@misc{indiciae4712b6647eaa,
  title = {Synthesizing Adaptive Test Strategies from Temporal Logic Specifications},
  author = {Roderick Bloem and Goerschwin Fey and Fabian Greif and Robert Koenighofer and Ingo Pill and Heinz Riener and Franz Roeck},
  year = {2018},
  url = {https://arxiv.org/abs/1809.01607},
  note = {Source identifier: 1809.01607}
}