Conference Papers

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

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