Petri Net Based Supervisory Control of a Social Robot with LTL Specifications
Title: | Petri Net Based Supervisory Control of a Social Robot with LTL Specifications |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of ROBOTICA 2011 - 11th International Conference On Mobile Robots And Competitions, Lisboa, Portugal |
Year : | 2011 |
Authors : |
Bruno Lacerda Pedro Manuel Urbano de Almeida Lima J. Gorostiza M. A. Salichs |
Lab : | Intelligent Robots and Systems Group (IRSg) |