TY  - RPRT
TI  - RNN Controller for Lane-Keeping Systems with Robustness and Safety Verification
AU  - Ying Shuai Quan
AU  - Jin Sung Kim
AU  - Chung Choo Chung
PY  - 2023
UR  - https://arxiv.org/abs/2309.08852
ID  - 2309.08852
ER  -