Safety-Critical Learning of Robot Control with Temporal Logic Specifications

Open in new window