학위논문(석사) - 한국과학기술원 : 산업공학과, 1996.2, [ v, 73 p. ]
Markov Decision Process; Model Checking; Supervisory Control; Robot Cell; CTL; 오토마타; 마코프 의사결정 모형; 모델검증기법; 로봇 셀; Automata
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.