Showing results 1 to 1 of 1
Two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models Lee, Tae-Eog; Lee, Jhinhwan, Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2), v.1, pp.56 - 62, IEEE, 1996-11-18 |
Discover