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

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

NULL

Intelligent Robots and Systems Group (IRSg)