Login / Signup
Jeongmin Huh
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Upper Bound
Sample Path
Stochastic Model
Markov Chain
Top Venues
CoRR
</>
Publications
</>
Maxence Dutreix
,
Jeongmin Huh
,
Samuel Coogan
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.
CoRR
(2020)