@Inproceedings{EPTCS348.6, author = {Usman, Muhammad and Gopinath, Divya and S. P\u{a}s\u{a}reanu, Corina}, year = {2021}, title = {QuantifyML: How Good is my Machine Learning Model?}, editor = {Farrell, Marie and Luckcuck, Matt}, booktitle = {{\rm Proceedings Third Workshop on} Formal Methods for Autonomous Systems, {\rm Virtual, 21st-22nd of October 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {348}, publisher = {Open Publishing Association}, pages = {92-100}, doi = {10.4204/EPTCS.348.6}, }