A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
| Year of publication: |
1998
|
|---|---|
| Authors: | Lee, T.-E. ; Lee, J.-H. |
| Published in: |
Annals of operations research. - New York, NY [u.a.] : Springer Science + Business Media, ISSN 0254-5330, ZDB-ID 2526293. - Vol. 77.1998, p. 157-182
|