@misc{indiciae51aa470d6ebe,
  title = {Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests},
  author = {Yu Chen and Chao Shang and Xiaolin Huang and Xiang Yin},
  year = {2023},
  url = {https://arxiv.org/abs/2304.00729},
  note = {Source identifier: 2304.00729}
}