conf.researchr.org / Jie An
![Jie An](https://conf.researchr.org/getProfileImage/jiean/12357532-9312-42fd-a427-d9a855392caf/small.jpg?1711596301000)
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