TY  - RPRT
TI  - Learning Safe-by-Design Neural Network Controllers
AU  - Yang Zhao
AU  - Jungeun Lee
AU  - Jeong hwan Jeon
AU  - Sze Zheng Yong
PY  - 2026
UR  - https://arxiv.org/abs/2605.26534
ID  - 2605.26534
ER  -