Login / Signup
Kangli He
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 6
Top Topics
Probabilistic Model
Verification Method
Timed Automata
Stochastic Systems
Top Venues
TASE
CoRR
MMB/DFT
Inf. Comput.
</>
Publications
</>