RNN Controller for Lane-Keeping Systems with Robustness and Safety Verification.

Ying Shuai Quan Jin Sung Kim Chung Choo Chung

Published in: CoRR (2023)

Keyphrases

recurrent neural networks
nearest neighbor
safety analysis
expert systems
management system
real time
control system
learning systems
control algorithm
formal methods
distributed systems
complex systems
model checking
closed loop
traffic signal
intelligent vehicles