Registered user since Tue 22 Sep 2020
Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University
Personal website: https://choshina.github.io/
Research interests:Formal methods, Hybrid system, Software testing, Temporal logic, Runtime verification, Neural network verification, Autonomous vehicles
Contributions
Using general profile