Hasani, Ramin M.

4 publications

AAAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu

AAAI 2021 Liquid Time-Constant Networks Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

AAAI 2021 On the Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

AAAI 2019 A Machine Learning Suite for Machine Components' Health-Monitoring Ramin M. Hasani, Guodong Wang, Radu Grosu