Proceedings of the Korean Operations and Management Science Society Conference (한국경영과학회:학술대회논문집)
- 1996.04a
- /
- Pages.120-120
- /
- 1996
A Two-phase Approach for Design of Supervisory Controllers for Robot Cells:Model Checking and Markov Decision Models
- Lee, Tae-Eog (Department of Industrial Engineering, Korea Advanced Institute of Science and Technology) ;
- Lee, Jin-Hwan (Department of Industrial Engineering, Korea Advanced Institute of Science and Technology)
- Published : 1996.04.01
Abstract
Keywords