Login / Signup
Shengchao Qin
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 73
Top Topics
Symbolic Execution
Predictive Control
Timed Automata
Data Science
Top Venues
TASE
CoRR
Sci. Comput. Program.
ICECCS
</>
Publications
</>