@misc{indiciae161ae99f3381,
  title = {Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information},
  author = {Amr Alanwar and Frank J. Jiang and Maryam Sharifi and Dimos V. Dimarogonas and Karl H. Johansson},
  year = {2022},
  url = {https://arxiv.org/abs/2109.07121},
  note = {Source identifier: 2109.07121}
}