Jeongmin Huh

According to our database, Jeongmin Huh authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.

Maxence Dutreix, Jeongmin Huh, Samuel Coogan

CoRR, 2020