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)
  • 발행 : 1996.04.01