conf.researchr.org / Jie An
Jie An

Registered user since Tue 23 Nov 2021

Name:Jie An
Affiliation:MPI-SWS
Personal website: https://leslieaj.github.io/
Research interests:Formal Methods, Model Learning, Real-time and Embeded Systems, Cyber-Physical Systems

Contributions