Learning from Linear Temporal Logic based Goal Formulation

Aadesh Neupane

Safe?

Safe?

Goal?

GoBL

Goal Specification

Cozmo

Thank You