Jie An -

Registered user since Wed 6 Mar 2024

Name:Jie An

Country:China

Affiliation:Institute of Software Chinese Academy of Sciences

Personal website: https://leslieaj.github.io/

Contributions

2026

FM

Author of Exact Moment Estimation of Stochastic Differential Dynamics within the Research Track-track

VMCAI

Author of SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation within the VMCAI 2026-track

2025

ATVA

2024

Internetware

Committee Member in Program Committee within the Research Track-track