Dependable Reinforcement Learning via Timed Differential Dynamic Logic.

Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu

Browse the full ISCC paper archive.