The following pages link to YoungMin Kwon (Q2234090):
Displaying 6 items.
- A design of GPU-based quantitative model checking (Q2234091) (← links)
- Bounded Model Checking of Hybrid Systems for Control (Q2982511) (← links)
- LTLC: Linear Temporal Logic for Control (Q3523118) (← links)
- (Q4243956) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
- A bounded model checking technique for discrete-time nonlinear systems (Q6546447) (← links)
