학위논문(석사) - 한국과학기술원 : 산업공학과, 1997.2, [ iii, 50 p. ]
Markov decision models; Model checking; Automata; Supervisory control; Multi-robot assembly cell; 복수 로봇조립 작업장; 마코프 의사결정 모형; 모델검증; 오토마타; 감시제어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.