Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials

Rolf Drechsler, Sebastian Huhn 0001, Christina Plump. Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials. In 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020. pages 518-525, IEEE, 2020. [doi]

Abstract

Abstract is missing.