Qi Sun
Qi Sun
Home
🔬 Research projects
📄 Publications & Talks
💬 Posts
CV
Light
Dark
Automatic
Formal Analysis
Enhanced Verification and Falsification for ADAS Safety and Security Based on Reachability and Deep Reinforcement Learning
Verification and falsification of ADAS under cyberattacks based on hybrid automaton reachability and deep reinforcement learning.
Code
Vehicle Motion Control Through Deep Reinforcement Learning
Deep reinforcement learning based vehicle motion control.
Code
Cite
×