Announcement_122325

Our paper “Myopically Verifiable Probabilistic Certificates for Safe Control and Learning” was accepted by IEEE Transactions on Automatic Control (TAC)!