Login / Signup

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea PeruffoDaniele AhmedAlessandro Abate
Published in: TACAS (1) (2021)
Keyphrases