Petri Net Based Supervisory Control of a Social Robot with LTL Specifications – Institute For Systems and Robotics

Conference Papers

Petri Net Based Supervisory Control of a Social Robot with LTL Specifications

Bruno Lacerda | Pedro Lima | J. Gorostiza | M. A. Salichs

Intelligent Robots and Systems Group (IRSg)

Proc. of ROBOTICA 2011 - 11th International Conference On Mobile Robots And Competitions, Lisboa, Portugal

January, 2011