related documents Data-Driven Permissible Safe Control with Barrier Certificates Conference Proceeding