@misc{indiciae42d254a921ca,
  title = {Data-Driven Abstraction-Based Control Synthesis},
  author = {Milad Kazemi and Rupak Majumdar and Mahmoud Salamati and Sadegh Soudjani and Ben Wooding},
  year = {2022},
  url = {https://arxiv.org/abs/2206.08069},
  note = {Source identifier: 2206.08069}
}