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]

Authors

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google

Sebastian Huhn 0001

This author has not been identified. Look up 'Sebastian Huhn 0001' in Google

Christina Plump

This author has not been identified. Look up 'Christina Plump' in Google