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)