Scalable synthesis of safety certificates from data with application to learning-based control

Devs

Scalable synthesis of safety certificates from data with application to learning-based control | Read Paper on Bytez