@inproceedings{ChoiShihGoyankaDarwiche20, author = {Arthur Choi and Andy Shih and Anchal Goyanka and Adnan Darwiche}, title = {On Symbolically Encoding the Behavior of Random Forests}, year = {2020}, booktitle= {3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)} }