(Translated by https://www.hiragana.jp/)
[2304.00729] Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests