Ernesto Damiani, Claudio Agostino Ardagna. Certified Machine-Learning Models. In Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora, editors, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings. Volume 12011 of Lecture Notes in Computer Science, pages 3-15, Springer, 2020. [doi]
Abstract is missing.