Login / Signup
Naijun Zhan
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 105
Top Topics
Formal Verification
Theorem Proving
Hybrid Systems
Semidefinite Program
Top Venues
CoRR
IEEE Trans. Autom. Control.
ATVA
SETTA
</>
Publications
</>