Login / Signup
Shenggang Ying
ORCID
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 11
Top Topics
Markov Decision Process
Average Reward
Reachability Analysis
Model Checking
Top Venues
CoRR
Inf. Comput.
CONCUR
Int. J. Autom. Comput.
</>
Publications
</>