@(PROJGITHUB,
 title        = {QuantifyML GitHub},
 url          = {https://github.com/muhammadusman93/quantifyml},
)
@inproceedings(10.1007/978-3-030-47358-71,
 author       = {Mahdieh Abbasi and Arezoo Rajabi and Christian Gagn{\'e} and Rakesh B. Bobba},
 year         = {2020},
 title        = {Toward Adversarial Robustness by Diversity in an Ensemble of Specialized Deep Neural Networks},
 editor       = {Cyril Goutte and Xiaodan Zhu},
 booktitle    = {Advances in Artificial Intelligence},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {1--14},
 doi          = {10.1007/978-3-030-47358-7_1},
)
@inproceedings(Aziz2015SATPM,
 author       = {Rehan Abdul Aziz and Geoffrey Chu and Christian Muise and Peter James Stuckey},
 year         = {2015},
 title        = {\#SAT: Projected Model Counting},
 booktitle    = {SAT},
 doi          = {10.1007/978-3-319-24318-4_10},
)
@article(bastos2007credit,
 author       = {Joao Bastos},
 year         = {2007},
 title        = {Credit scoring with boosted decision trees},
 url          = {https://mpra.ub.uni-muenchen.de/8156/1/MPRA_paper_8156.pdf},
)
@article(BMC,
 author       = {Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Ofer Strichman and Yunshan Zhu},
 year         = {2003},
 title        = {Bounded model checking},
 journal      = {Adv. Comput.},
 volume       = {58},
 pages        = {117--148},
 doi          = {10.1016/S0065-2458(03)58003-2},
)
@inproceedings(4268160,
 author       = {B. {Bonakdarpour} and S. S. {Kulkarni}},
 year         = {2007},
 title        = {Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space},
 booktitle    = {ICDCS},
 doi          = {10.1109/ICDCS.2007.109},
)
@inproceedings(10.1007/978-3-642-40627-0-18,
 author       = {Supratik Chakraborty and Kuldeep S. Meel and Moshe Y. Vardi},
 year         = {2013},
 title        = {A Scalable Approximate Model Counter},
 editor       = {Christian Schulte},
 booktitle    = {Principles and Practice of Constraint Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {200--216},
 doi          = {10.1007/978-3-642-40627-0_18},
)
@inproceedings(CBMC,
 author       = {Edmund M. Clarke and Daniel Kroening and Flavio Lerda},
 year         = {2004},
 title        = {A Tool for Checking {ANSI-C} Programs},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
 pages        = {168--176},
 doi          = {10.1007/978-3-540-24730-2_15},
)
@inproceedings(CohenRK19,
 author       = {Jeremy Cohen and Elan Rosenfeld and Zico Kolter},
 year         = {2019},
 title        = {Certified Adversarial Robustness via Randomized Smoothing},
 editor       = {Kamalika Chaudhuri and Ruslan Salakhutdinov},
 booktitle    = {Proceedings of the 36th International Conference on Machine Learning},
 series       = {Proceedings of Machine Learning Research},
 volume       = {97},
 publisher    = {PMLR},
 pages        = {1310--1320},
 url          = {http://proceedings.mlr.press/v97/cohen19c.html},
)
@inproceedings(10.1007/3-540-46002-019,
 author       = {Patrice Godefroid and Sarfraz Khurshid},
 year         = {2002},
 title        = {Exploring Very Large State Spaces Using Genetic Algorithms},
 editor       = {Joost-Pieter Katoen and Perdita Stevens},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {266--280},
 doi          = {10.1007/3-540-46002-0_19},
)
@inproceedings(gomes2008model,
 author       = {Carla P Gomes and Ashish Sabharwal and Bart Selman},
 year         = {2009},
 title        = {Model counting},
 booktitle    = {Handbook of satisfiability},
 publisher    = {IOS press},
 pages        = {633--654},
 doi          = {10.3233/978-1-58603-929-5-633},
)
@book(Goodfellow-et-al-2016,
 author       = {Ian Goodfellow and Yoshua Bengio and Aaron Courville},
 year         = {2016},
 title        = {Deep Learning},
 publisher    = {MIT Press},
 url          = {http://www.deeplearningbook.org},
)
@inproceedings(gopinath2017deepsafe,
 author       = {Divya Gopinath and Guy Katz and P{\u{a}}s{\u{a}}reanu, Corina S. and Clark Barrett},
 year         = {2018},
 title        = {DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks},
 editor       = {Shuvendu K. Lahiri and Chao Wang},
 booktitle    = {Automated Technology for Verification and Analysis},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {3--19},
 doi          = {10.1007/978-3-030-01090-4_1},
)
@article(6296526,
 author       = {G. {Hinton} and L. {Deng} and D. {Yu} and G. E. {Dahl} and A. {Mohamed} and N. {Jaitly} and A. {Senior} and V. {Vanhoucke} and P. {Nguyen} and T. N. {Sainath} and B. {Kingsbury}},
 year         = {2012},
 title        = {Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups},
 journal      = {IEEE Signal Processing Magazine},
 volume       = {29},
 number       = {6},
 pages        = {82--97},
 doi          = {10.1109/MSP.2012.2205597},
)
@article(huang2020survey,
 author       = {Xiaowei Huang and Daniel Kroening and Wenjie Ruan and James Sharp and Youcheng Sun and Emese Thamo and Min Wu and Xinping Yi},
 year         = {2020},
 title        = {A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability},
 journal      = {Computer Science Review},
 volume       = {37},
 pages        = {100270},
 doi          = {10.1016/j.cosrev.2020.100270},
)
@article(Alloy,
 author       = {Daniel Jackson},
 year         = {2002},
 title        = {Alloy: a lightweight object modelling notation},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {11},
 number       = {2},
 doi          = {10.1145/505145.505149},
)
@inproceedings(Reluplex,
 author       = {Guy Katz and Clark W. Barrett and David L. Dill and Kyle Julian and Mykel J. Kochenderfer},
 year         = {2017},
 title        = {Reluplex: An Efficient {SMT} Solver for Verifying Deep Neural Networks},
 booktitle    = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
 pages        = {97--117},
 doi          = {10.1007/978-3-319-63387-9\_5},
)
@incollection(ketkar2017introduction,
 author       = {Nikhil Ketkar},
 year         = {2017},
 title        = {Introduction to keras},
 booktitle    = {Deep learning with Python},
 publisher    = {Springer},
 pages        = {97--111},
 doi          = {10.1007/978-1-4842-2766-4_7},
)
@inproceedings(NIPS2012c399862d,
 author       = {Alex Krizhevsky and Ilya Sutskever and Geoffrey E Hinton},
 year         = {2012},
 title        = {ImageNet Classification with Deep Convolutional Neural Networks},
 editor       = {F. Pereira and C. J. C. Burges and L. Bottou and K. Q. Weinberger},
 booktitle    = {Advances in Neural Information Processing Systems},
 volume       = {25},
 publisher    = {Curran Associates, Inc.},
 pages        = {1097--1105},
 doi          = {10.1145/3065386},
)
@inproceedings(kroening2014cbmc,
 author       = {Daniel Kroening and Michael Tautschnig},
 year         = {2014},
 title        = {CBMC--C bounded model checker},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {389--391},
 doi          = {10.1007/978-3-642-54862-8_26},
)
@article(kuo2001data,
 author       = {Wen-Jia Kuo and Ruey-Feng Chang and Dar-Ren Chen and Cheng Chun Lee},
 year         = {2001},
 title        = {Data mining with decision trees for diagnosis of breast tumor in medical ultrasonic images},
 journal      = {Breast cancer research and treatment},
 volume       = {66},
 number       = {1},
 pages        = {51--57},
 doi          = {10.1023/A:1010676701382},
)
@inproceedings(projmc,
 author       = {Jean-Marie Lagniez and Pierre Marquis},
 year         = {2019},
 title        = {A recursive algorithm for projected model counting},
 booktitle    = {Proceedings of the AAAI Conference on Artificial Intelligence},
 volume       = {33},
 pages        = {1536--1543},
 doi          = {10.1609/aaai.v33i01.33011536},
)
@inproceedings(9081758,
 author       = {M. P. {Owen} and A. {Panken} and R. {Moss} and L. {Alvarez} and C. {Leeper}},
 year         = {2019},
 title        = {ACAS Xu: Integrated Collision Avoidance and Detect and Avoid Capability for UAS},
 booktitle    = {2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)},
 pages        = {1--10},
 doi          = {10.1109/DASC43569.2019.9081758},
)
@inproceedings(PapernotMJFCS16,
 author       = {Nicolas Papernot and Patrick D. McDaniel and Somesh Jha and Matt Fredrikson and Z. Berkay Celik and Ananthram Swami},
 year         = {2016},
 title        = {The Limitations of Deep Learning in Adversarial Settings},
 booktitle    = {EuroS\&P},
 doi          = {10.1109/EuroSP.2016.36},
)
@article(pedregosa2011scikit,
 author       = {Fabian Pedregosa and Ga{\"e}l Varoquaux and Alexandre Gramfort and Vincent Michel and Bertrand Thirion and Olivier Grisel and Mathieu Blondel and Peter Prettenhofer and Ron Weiss and Vincent Dubourg},
 year         = {2011},
 title        = {Scikit-learn: Machine learning in Python},
 journal      = {the Journal of machine Learning research},
 volume       = {12},
 pages        = {2825--2830},
 url          = {https://www.jmlr.org/papers/volume12/pedregosa11a/pedregosa11a.pdf},
)
@article(safavian1991survey,
 author       = {S Rasoul Safavian and David Landgrebe},
 year         = {1991},
 title        = {A survey of decision tree classifier methodology},
 journal      = {IEEE transactions on systems, man, and cybernetics},
 volume       = {21},
 number       = {3},
 pages        = {660--674},
 doi          = {10.1109/21.97458},
)
@misc(SzegedyZSBEGF13,
 author       = {C. Szegedy and W. Zaremba and I. Sutskever and J. Bruna and D. Erhan and I. Goodfellow and R. Fergus},
 year         = {2013},
 title        = {Intriguing Properties of Neural Networks},
 url          = {http://arxiv.org/abs/1312.6199},
 note         = {Technical Report},
)
@inproceedings(usman2020testmc,
 author       = {Muhammad Usman and Wenxi Wang and Sarfraz Khurshid},
 year         = {2020},
 title        = {TestMC: Testing Model Counters using Differential and Metamorphic Testing},
 booktitle    = {2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
 organization = {IEEE},
 pages        = {709--721},
 doi          = {10.1145/3324884.3416563},
)
@inproceedings(10.1145/3385412.3386015,
 author       = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid},
 year         = {2020},
 title        = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)},
 series       = {PLDI 2020},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {1098\IeC{\textendash}1111},
 doi          = {10.1145/3385412.3386015},
)