arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Yujie Yang"" — arXiv2 Search
Showing 1–4 of 4 results
/ Date
/ Name
Jul 30, 2024
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
Jan 30, 2024
On the Stability of Datatic Control Systems
Sep 13, 2023
Safe Reinforcement Learning with Dual Robustness
Feb 16, 2021
Steadily Learn to Drive with Virtual Memory