Registered user since Mon 15 Sep 2025
Name:Lejin Li
Country:Japan
Affiliation:Kyushu University
Personal website: https://orcid.org/0009-0004-3616-1401
GitHub: https://github.com/lilejin322
Research interests:Autonomous Driving System, Formal Verification
Contributions
Using general profile