Safe Goal-Directed Autonomy and the Need for Sound Abstractions

Open in new window